なんで 「 (bab^-1)^m = 」 なんていう余計なものをつけたかしらんが、式自体は正しい