The normalization constant C is found to be 1 / π π 4 from ∫ ∫ − − ∞ ∞ ∞ ∞ ψ ψ 0 ∗ ∗ ψ ψ 0 d q = 1 , using the Gaussian integral. Explicit formulas for all the eigenfunctions can now be found by repeated application of a † † to ψ ψ 0 .