Implicit function theorem

Let be open with continuously differentiable. Also let such that and the partial derivative matrix is invertible.

Then,

1. there exists and an open ball with a continuously differentiable map such that

2. when , , and then

3.