Check the normalization of 𝛹0 and 𝛹4 for the harmonic oscillator and show they are orthogonal