Orthogonality of the determinants gives . To first order the normalized energy is thereforeSlater-Condon rules give the matrix element as the occupied-virtual Fock elementStationarity for independently variable real requires every . This is Brillouin's theorem. Because is Hermitian, occupied and virtual blocks can separately be diagonalized; canonical orbitals then satisfy .
At a Hartree-Fock stationary point the reference-single terms vanish. Expanding the normalized expectation through second order givesThe reference-double term arises twice in the numerator and cancels the factor in the wavefunction. The normalization subtracts .
Using Slater-Condon rules in canonical orbitals,and . Combining them gives the requested . The orbital energies arefor either occupied or virtual . Diagonalizing the occupied and virtual Fock blocks is the suitable orbital choice that makes the delta form valid for coincident as well as distinct indices.