Existence of Hartree–Fock solutions