Tag: bcs ground state and existence of energy gap