逆的。
定理的表述.更加精确地，该定理说明如果从R的一个开集U到R的连续可微函数"F"的全微分在点"p"可逆（也就是说，"F"在点"p"的雅可比行列式不为零），那么F在点"p"的附近具有反函数。也就是说，在"F"("p")的某个邻域内，"F"的反函数存在。而且，反函数"F"也是连续可微的。在无穷维的情况中，需要弗雷歇导数在"p"附近具有有界的反函数。最后，定理说明：其中formula_2表示逆矩阵，而formula_3是函数"G"在点"q"的雅可比矩阵。这个公式还可以从