Proof of the strong subadditivity of quantum-mechanical entropy | Synapse