命題
G を群とする。
X を G-集合（>>77）とする。
x ∈ X とし x の軌道（>>92）を O(x) とする。
このとき |O(x)| = [G ： N(x)] である。
ここで N(x) は x の安定化部分群（>>763）である。

証明
O(x) は推移的（>>107）な G-部分集合（>>94）である。
>>121より |O(x)| = |G/N(x)| = [G ： N(x)]
証明終