Proof correction: Fermion Condensation