The inverse function theorem states that:
Suppose that $f: U \subset \mathbb{R}^m \rightarrow \mathbb{R}^m$ is a $C^k$-function and that there exists $a \in U$ such that $f'(a): \mathbb{R}^m \rightarrow \mathbb{R}^m $ is an isomorphism. Then, there exist $\delta > 0$ and an open ball $B_{\delta} : = B(a, \delta) \subset U$ such that $f \mid_{B_{\delta}} : B_{\delta} \rightarrow V \ni f(a)$ is a diffeomorphism, with $V$ being an open set.
There are two remarkable applications of this theorem:
1- Existence of matrices $X$ such that $X^ k = Y$ where $Y$ is a matrix sufficiently close to the identity;
2- Differentiable perturbation of the identity: Let $U \subset \mathbb{R}^m$ a convex and open set. If $ \varphi : U \rightarrow \mathbb{R}^m$ is $C^k$, with $|\varphi'(x)| \leq \lambda < 1$ for all $x \in U$, then $f : U \rightarrow \mathbb{R}^m$ given by $f(x) = x + \varphi(x)$ is a diffeomorphism on $U$ onto its image $f(U)$.
My goal with this question is to broaden the knowledge about the application/importance of this theorem in other contexts in the areas of Analysis, Geometry, Differential Topology, etc...