The mathematical result that any symmetry transformation must be implemented by a unitary or antiunitary operator.