This result gives the standard local invertibility criterion for differentiable maps between Euclidean spaces. If the [Jacobian matrix](/page/Jacobian%20Matrix) at a point is invertible, the map has a locally invertible differentiable model near that point.