Treating the protons as Fermions, I would have expected the lowest energy state of H2 to have spherical symmetry, including in the distribution of the protons. Can it be shown that in going to zero Kelvin the molecule must choose a particular and mutually exclusive axis of symmetry?