a_12变换到formula_13的概率和前面是一样的；因此，formula_14。于是，操作"T"就满足了魏格纳定理的假设。根据魏格纳定理，"T"要么是幺正变换，要么是反幺正变换。在上面的两个例子里（时间变换和洛伦兹变换），"T"是幺正变换。而时间反演变换是一个典型的反幺正变换。