展开 证明线性方程组有唯一零解