【線代-行獨立充要條件】

老師說的那個詩歌

A : m*n
nonsingular
<=>行獨立
<=>Ker(A)={0}
<=>...
<=>...

這邊的nonsingular去推到行獨立
是先AX=0 只有零解
=>X1*a1+X2*a2+...+Xn*an=0 =>X1=X2=...=Xn=0
所以行獨立嗎?

老師是在哪一章節講的阿?