>>33
それじゃ駄目だろう
(1,1)成分だけ1で、他0の行列だったら
rankA < m,nだけど
AXとXAは0にならない