n次正方行列Aについて、
Aを係数行列とする連立同次1次方程式 Ax=0は非自明解を持たない⇒rankA=n
を証明してください。