 Solution

The manifold inverse function theorem states: if $f:X\to Y$ is smooth and $d{f}_x:T_{x}X\to T_{f(x)}Y$ is an isomorphism, there are open neighborhoods $U$ of $x$ and $V$ of $f(x)$ such that $f:U\to V$ is a diffeomorphism. In particular the manifolds have the same dimension at those points.

Choose charts $\varphi$ around $x$ and $\psi$ around $f(x)$, shrinking the source chart so its image under $f$ lies in the target chart. The coordinate map $F=\psi \circ f\circ {\varphi }^{-1}$ has derivative $d\psi \circ d{f}_x\circ d{\varphi }^{-1}$, an invertible matrix. Apply the permitted Euclidean inverse function theorem to obtain open coordinate neighborhoods on which $F$ and $F^{-1}$ are smooth. Pull them back through the charts. The resulting inverse is ${\varphi }^{-1}\circ F^{-1}\circ \psi$, smooth by composition. This proves the manifold statement.