>>50
もし 「余因子行列A~が正則」で「Aは正則でない」なら
A*A~ = det(A)E = 0 の両辺右からA~^{-1} を掛けて A=0 を得る.
でも 0~ = 0 は正則ではないので矛盾.