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