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 .