The Theorem:

If at a point P a function *f*:**R**^{n}-->**R**^{n} has a Jacobian determinant that is nonzero, and *F* is continuously differentiable near P, it is an invertible function near P.

The Jacobian matrix of *f*^{-1} at *f*(P) is then the inverse of J*f*, evaluated at P.