命題
G を群とする。
Aut(G) を G の自己同型群とする。
τ：G → Aut(G) を内部表現（>>749）とする。
τ により G は G-集合（>>77）となる。
G = Σ[i ∈ I] Gx_i を G の軌道（>>92）による直和分割とする。
各 i ∈ I に対して N(x_i) を x_i の正規化部分群（>>753）とする。
J = {i ∈ I；G ≠ N(x_i)} とおく。
このとき |G| = |Z(G)| + Σ[x ∈ J] [G ： N(x)] である。
ここで Z(G) は G の中心（>>751）である。

証明
>>748から明らかである。