Lee-Yang Theorem and the Griffiths Inequality for the Anisotropic Heisenberg Ferromagnet

It is shown that the zeros of the partition function of the anisotropic Heisenberg ferromagnet locate on the unit circle in the complex "fugacity" plane, and all the spin correlation functions are non-negative when no external magnetic field is present.