>>689
m≠nのときA*B=I_m、B*A=I_nとなるような(m,n)行列A、(n,m)行列Bは存在しないということですか?