命題
G を有限 p-群（>>776）とする。
X を有限 G-集合（>>77）とする。
|X| ≡ 0 (mod p) とする。
このとき |Fix(G)| ≡ 0 (mod p) である。

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