“…Suppose that ν = 1, d ≥ 3, the interaction is of nearest-neighbor type, and V is continuous and such that (16) holds, which includes the case of V (q) = V (−q). Then, for every β > 0, there exist m * > 0 and J * > 0 such that, for all m > m * and J > J * , there exists h * ∈ R, possibly dependent on m, β and J, such that the polarization M (h) becomes discontinuous at h = h * , i.e., the model has a first-order phase transition.…”