Let $U \subset \mathbb{R}^n$ be open, let $a \in U$, and let $f: U \to \mathbb{R}^n$ be continuously differentiable on a neighbourhood of $a$. If
\begin{align*}
\det Jf_a &\ne 0,
\end{align*}
then there exist open neighbourhoods $A \subset U$ of $a$ and $B \subset \mathbb{R}^n$ of $f(a)$ such that $f|_A: A \to B$ is a bijection and its inverse is continuously differentiable.