>>784
Gがアーベルなので自明でない部分群Hがあれば、剰余群G/Hを考えることができて
p｜|G|=|H||G/H| から　p｜|H|　または　p｜|G/H| である。そこに帰納法の仮定を適用する。