命題
G を群とする。
X を原始的（>>343）な G-集合（過去スレpart5の77）とする。
H を G の正規部分群とする。
このとき H は X に自明（>>352）に作用するかまたは推移的（>>281）に作用する。

証明
>>350より各 H-軌道（>>295）は 1 点からなるか X 全体と一致する。
各 H-軌道が 1 点であれば H は X に自明に作用する。
そうでなけれ H は X に推移的に作用する。
証明終