Por el uso adicional de cambios de fase arbitrarios, Wigner demostró que el producto de los operadores unitarios de representación obedece: