A crystal lattice at zero temperature lies in its ground state