Inverse function theorem

Let be open and be continuously differentiable. Let be a point where is invertible.

Then there is a neighborhood of and a neighborhood of such that the restriction

is a bijection and is continuously differentiable and for with then