D.54 De­riva­tion of the Hartree-Fock equa­tions