Let $x_1, \dots, x_N$ be the standard coordinate functions on $\mathbb{R}^N$, and let $X$ be a $k$-dimensional submanifold of $\mathbb{R}^N$. Prove that every point $x \in X$ has a neighborhood on which the restrictions of some $k$-coordinate functions $x_{i_1}, \dots, x_{i_k}$ form a local coordinate system.
I have proved the lemma:
Let $e_1, \dots, e_N$ be the standard basis for $\mathbb{R}^N$. The projection of $T_x(X)$ onto the subspace spanned by $e_{i_1}, \dots, e_{i_k}$ is bijective for some choice of $i_1, \dots, i_k$.
Consider the $k \times N$ matrix $M$ with rows as the vectors in $\mathbb{R}^N$ that are linearly independent, hence span $T_x(X)$. The rank of $M$ is $k$. Then apply Gaussian elimination, resulting a matrix $M$ with the columns $i_1, \dots, i_k$ all 0's but a single 1. Hence the projection of $T_x(X)$ onto the subspace spanned by $e_{i_1}, \dots, e_{i_k}$ is a bijection.