特に、多変数可微分函数f:Rn→Rnは、点pにおけるfの函数行列が可逆である限り、点pの近傍で可逆である。
更加精确地，该定理说明如果从Rn的一个开集U到Rn的连续可微函数F的全微分在点p可逆（也就是说，F在点p的雅可比行列式不为零），那么F在点p的附近具有反函数。