线性代数中,矩阵的秩小于未知数个数时,方程有非0解?这个怎么证明?