命題
G を群とする。
A を G の部分集合とする。
A と共役（>>792）な G の部分集合全体を S(A) とする。
このとき |S(A)| = [G ： N(A)] である。
ここで N(A) は A の正規化部分群（>>753）である。

証明
>>797より P(G) は G-集合となる。
このとき S(A) は A の軌道（>>92）である。
よって、>>798より |S(A)| = [G ： N(A)] である。
証明終