>>482

えーと、
>方針は、a の位数を n, bab^-1 の位数を m とすると
>(bab^-1)^n = 1 と a^m = 1 がそれぞれ示せる。
>あとは約数の関係を使えば主張が示せる。

議論はこっから始まってるんですが、仮定すらしちゃいけないんですか？