バーンサイドの定理
背理法による。
p ,q を固定する。位数がこの形で書けるような非可解群がもし存在するなら、その中で位数が最小となるものがあるから、はじめから G がそのような位数最小の群であるとしてよい。