命題
G を群とする。
X を G-集合（過去スレpart5の77）とする。
σ ∈ G、x ∈ X とする。
H = Stab(x)（>>282） とする。
このとき Stab(σx) = σHσ^(-1) である。

証明
自明である。