Projection Operators in Hartree-Fock Theory