>>785
> |H|>1なら、帰納法の仮定よりOK
|H|がpで割れるのはどうしてですか?