えーと、きちんと考えると
a^n = 1 , (bab^-1)^m = 1とする。
(bab^-1)^n =b^-na^nb^n = b^-nb^n = 1
∴(bab^-1)^m = (bab^-1)^n =1
∴m = nd(dは自然数)

になりますよね？