Suppose that $W \subsetneq \mathbb{R}^n$ is a proper subspace, and $\mathbf{u}_1, \ldots, \mathbf{u}_m$ forms an orthonormal basis of $W$. Prove that there exist vectors $\mathbf{u}_{m+1}, \ldots, \mathbf{u}_n \in \mathbb{R}^n \backslash W$ such that the complete collection $\mathbf{u}_1, \ldots, \mathbf{u}_n$ forms an orthonormal basis for $\mathbb{R}^n$.