Theorem 8.5.1. Inverse function theorem.
Let be an open set and let be a continuously differentiable function. Suppose and is invertible (that is, ). Then there exist open sets such that and is one-to-one. Hence a function exists such that Furthermore, is continuously differentiable and