which means that spins are positively correlated on the Ising ferromagnet. An immediate application of this is that the magnetization of any set of spins ⟨ ⟨ σ σ A ⟩ ⟩ is increasing with respect to any set of coupling constants J B .