1. 总变量个数-方程个数=隐函数自变量个数
  2. 一组解中的隐函数个数= 方程个数
  3. 一组解中每个隐函数的自变量种类都一样