，"F"的反函数存在。而且，反函数"F"也是连续可微的。在无穷维的情况中，需要弗雷歇导数在"p"附近具有有界的反函数。最后，定理说明：其中formula_2表示逆矩阵，而formula_3是函数"G"在点"q"的雅可比矩阵。这个公式还可以从链式法则推出。链式法则说明，如果"G"和"H"是两个函数，分别在"H(p)"和"p"具有全导数，那么：设"G"为"F"，"H"为"F"，formula_5就是恒等函数，其雅可比矩阵也是单位矩阵。在这个特殊的情况中，上面的公式可以对formula_6求解。注