Holographic proof of the strong subadditivity of entanglement entropy | Synapse