するとYにおけるF(0)のある開近傍Vと連続微分可能な写像G:V→Xが存在して、Vのすべての元yに対してF(G(y))=yとなる。
那么在Y内存在F(0)的一个开邻域V，以及一个连续可微的映射G:V→X，使得对于V内的所有y，都有F(G(y))=y。