Submersion theorem
= Submersion theorem
If $F:X^n\to Y^m$ is a <submersion> at $p$, there are local coordinates in which
$$
F(x^1,\ldots,x^n)=(x^1,\ldots,x^m).
$$
Every fiber of a submersion is consequently an <embedded submanifold> of codimension $m$.