如何证明齐次线性方程组总是相容的.