>>688
>>691

A、X:n次正方行列
I:n次単位行列

AX = I ⇒ XA = I の証明

変形定理より、B = PA
BX = PAX = PI = P
Pは正則だからBは行零ベクトルを持たない(★)
ゆえにB = I、X = P

XA = PA = B = I
証明終わり

この★の部分が
正則行列 * 任意の行列 = 正則行列
が成り立たないと成立しない気がするんですが。