We can therefore remove all nodes and reduce the energy by O ( ε ε ) , which implies that ψ ' cannot be the ground state. Thus the ground-state wave function cannot have a node. This completes the proof. (The average energy may then be further lowered by eliminating undulations, to the variational absolute minimum.)