命題
G を群とする。
X を原始的（>>343）な G-集合とする。
f：X → Y を G-写像（>>301）とする。
このとき f は単射または |f(X)| = 1 である。
f が全射で |Y| ≧ 2 なら f は同型である。

証明
>>344より明らかである。