Slater determinant
Since the Slater determinant Φ0 is an eigenstate of formula_14, it follows readily that