  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.
