A method to judge the existence of implicit function

• 隐函数存在性的一个判别法