展开 证明如果一个线性方程组有零解,则该方程组一定是