展开 如何证明方程组有唯一解