The subadditivity of quantum entropy in Gaussian quantum systems | Synapse