The two discrete transformations 
and 
in the
neutral kaon system are defined by:
where we remind that is an antiunitary tansformation. According to the
theorem, the arbitrary phases 
, 
,
, can be choosen in such a way that the interaction is invariant
under transformation. We obtain the following conditions:
which are equivalent to equal masses and lifetimes for 
and 
.
Assuming invariance of the interaction we obtain the following
conditions:
which are equivalent to equal transition rates 
and
.
invariance in the neutral kaon system requires and
invariance both to be fulfilled.