stages are proved directly for projective unitary antiunitary representations in the