“…(uniqueness and cyclicity of the vacuum) 1l {0} (U ) = |Ω Ω| and AΩ = H. We adopt a restrictive variant of the positivity of energy assumption (4), suitable for massive theories, which requires that Sp U consists of {0}, corresponding to the vacuum vector Ω, a mass hyperboloid H m := { (E, p) ∈ R d+1 | E = p 2 + m 2 } carrying single-particle states and the multiparticle spectrum G 2m := { (E, p) ∈ R d+1 | E ≥ p 2 + (2m) 2 }. We recall that there exist interacting quantum field theories which satisfy the above assumptions, for example λφ 4 2 at small λ [6].…”