，使得formula_45，formula_46。另一方面：因此：设formula_49是formula_1的左正则表示，不难证明算子formula_51与formula_34对易，因此本征子空间formula_37也是左正则表示的有限维不变子空间。由于有限维表示完全可约，formula_37可以写成formula_1的有限维不可约酉表示的表示空间的直和。在每个这样的空间formula_56上：其中formula_58是该不可约表示的矩阵元。这意味着formula_59，进而formula_