展开 证明如果一个线性方程组有零解