用压缩映射原理证明较弱条件下的隐函数存在定理

• Using contraction mapping principle to prove implicit function existence theorem under weak condition