“…By the argument in the appendix of [14], the fact that ω ξ A 0,ι (O ) = ω 0,ι A 0,ι (O ), together with translation covariance of π ξ , imply (8.4) if it is known that property B holds in the representation π ξ . But if H vac 0,ι is separable, then each local algebra π vac 0,ι (A 0,ι (O)) has a separable predual, and being ω ξ locally normal, from [36,Corollary 3.2] it follows that the Hilbert space H ξ of π ξ is separable, and then, by the already recalled argument of Roberts [32], property B holds in the representation π ξ .…”