Use normalized plane-wave spin orbitals and fill a separate Fermi sphere for each spin species. Each spin state counts once, soIts kinetic energy per volume isThe spin-independent contact interaction has uncancelled direct energy , with . By the imposed background assumption this direct contribution cancels. For the Fock term the contact delta function sets the two spatial positions equal; its spin factors then select equal spins. The local one-body density matrix for each spin has diagonal value , givingCombining these results gives the contact-interaction Hartree-Fock spin energyHere has units of energy times volume. The result is the model with the stated background subtraction; an isolated contact-interacting gas without that subtraction retains its direct contribution.