Because of the periodic boundary conditions at θ θ = ± ± π π , any wave function | ψ ψ ⟩ ⟩ can be expanded in a discrete momentum basis | l ⟩ ⟩ (with p = l ℏ ℏ , l integer) see Bloch theorem), so that