Subgroup of Index 2 is Normal

Any subgroup with exactly two cosets is invariant under conjugation
Subgroup of Index 2 is Normal

Subgroup of Index 2 is Normal: Let GG be a and let HGH\le G be a . If the of HH in GG is 22, then HH is in GG.

Equivalently: if there are exactly two left of HH in GG, then the left cosets equal the right cosets, so gH=HggH=Hg for all gGg\in G.