The theorem also does not apply to discrete symmetries or to spontaneously broken symmetries since these are not symmetries at the level of the S-matrix.
The theorem does not cover cases involving discrete transformations or spontaneous symmetry breakdowns since they don't fit the criteria for symmetries at the level of the S-matrix.