>>791の修正

命題
G を有限群とする。
p 素数とする。
G の位数 が p で割れるとする。
|G| = (p^n)m で p と m は素とする。
このとき G は位数 p^n の Sylow p-部分群（>>789）を持つ。

証明
>>788より位数 p^n の G の部分群 P が存在する。
>>777より P は G の p-部分群（>>787）である。
>>777より G の任意の p-部分群 H の位数は p の冪である。
よって、H の位数は p^n の約数である。
よって、P は Sylow p-部分群である。
証明終