>>261
det(A)≠0
Aには逆行列が存在
A~=A^(-1)とする
AX=AA~より
A~(AX)=A~(A~A) ∴X=A~
A~A=Eより代入