Spin squeezing from bilinear spin-spin interactions: Two simple theoremsRemoveTommaso Roscilde, Fabio Mezzacapo, and Tommaso ComparinPhys. Rev. A 104, L040601 (2021)