Hermite Functions Form an Orthonormal Eigenbasis of the Quantum Harmonic Oscillator