>>664.665
逆行列が存在することを示すために、AB=E => BA=Eをいいたいので、
逆行列の存在や正則であることを仮定してしまうと、循環論法になるのです。