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

証明
>>748より
|X| = |Fix(G)| + Σ[i ∈ J] [G ： H_i] である。
>>777より各 i ∈ J に対して [G ： H_i] ≡ 0 (mod p)である。
よって、|X| ≡ |Fix(G)| (mod p)
証明終