Orthogonality of the determinants gives . To first order the normalized energy is therefore
Slater-Condon rules give the matrix element as the occupied-virtual Fock element
Stationarity 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 gives
The 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 are
for 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.