"。"T"有时叫做"G"的正规表示。
另一个的证明.另一个证明使用了群作用的语言。考虑群formula_1为G-集合，可以证明它有置换表示formula_2。 首先假设formula_3带有formula_4。则根据G-轨道分类这个群作用是formula_5（也叫做轨道-稳定集定理）。现在这个表示是忠实的，如果formula_2是单射，就是说，如果formula_2的核是平凡的。假设formula_8 ∈ ker formula_2，则formula_10，通过置换表示