On the derivation of necessary conditions on Hartree-Fock orbitals