 Slice chart for an embedded submanifold

If $N^n\subset M^m$ is embedded and $p\in N$, there are smooth coordinates $(x^1,\dots ,x^m)$ around $p$ in whichThe first $n$ coordinates restrict to a chart on $N$.