Algebraic structure of local field theory with finite-fold vacuum degeneracy

It is shown that the Wightman functional satisfying not only the usual axiomatic requirements but also an additional requirement that the vacuum subspace of the representation generated byiL be finite-dimensional is representable, and uniquely so, in the form of a mixture of pure functionals each of which corresponds to the unique-vacuum theory.