Regular value theorem

Statement

Let $M,N$ be differential manifolds and $p\in N$ be a regular value of a differentiable map $f:M\to N$. Then $f^{-1}(p)$ is a submanifold of $M$.