Orthonormal Subset of Hilbert Space Extends to Basis

Theorem
Let $H$ be a Hilbert space, and let $S$ be an orthonormal subset of $H$.

Then there exists a basis for $H$ that contains $S$ as a subset.