Existence of Orthonormal Bases in Separable Hilbert Spaces