>>611
「位数が素数の有限群は巡回群である」という主張を
群論の公理が仮定されていない場所で使うのか?