Abstract
We show that every Gaussian mixed quantum state can be disentangled by conjugation with a metaplectic operator associated with a symplectic rotation. The main tools we use are the Werner-Wolf condition on covariance matrices and the symplectic covariance of Weyl quantization.