>>450
そういうことでいいことがわかりました。
>>451
>> ∴(bab^-1)^m = (bab^-1)^n
>> ∴ m = n
>この m = n はどこから沸いてきたの？

そのまんまというか、正確にはmod演算になるのでしょうが、
x^m = x^n => m = nとは言えませんか？