n次正方行列Ａについて、

Ａは正則 ⇒ Ａを係数行列とする連立同次１次方程式 Ａx=0 は非自明解を持たない。
を証明してください。