>>334
>つまり(a,b)=A{-1}B(c,d)は成り立つ。
>ここでA{-1}BをB(本当はCでも何でもいい)で置き換えれば
>(a,b)=B(c,d)が得られる。
>これはいわんとした主張(a,b)=B^m(c,d)に一致する。

この部分なんですが、A{-1}Bを任意の行列で置換できる理由がわからないのですが
A,Bにはそれぞれ条件があるのでA{-1}Bにも一定の条件が必要なように思うのですが