19是任意共轭不变的函数。由彼得-魏尔定理，对任意formula_62，存在formula_139，使得formula_140。记formula_141为如下积分：由于formula_139，formula_144，且formula_145。利用舒尔正交关系可证，formula_146可以写成特征标的线性组合。此外，因formula_19共轭不变，注意到以下事实本推论即证：该推论在连通紧李群表示的分类理论中扮演着重要的角色。