难在一般情形，列出方程后，比如，两个变量，两个独立的方程。如何证明这个方程组总是有唯一的解。