おっと, 二行目は要らなかった。

> ∴(bab^-1)^n =1
に
> aの位数がnならという前提
を加えて出てくる主張は

に訂正してくれ。