可以参考线性代数中求线性方程组解的克莱姆法则。J就是求u、v对x、y的偏导数过程中所得线性方程组的系数行列式。仅当J不等于零时有唯一解。
这个是定理的假设，在J不等于0时可以保证存在隐函数。而不是说J一定不等于0.
