Every subgroup H of a group G with index 2 is normal, as it can be shown that for any element g in G, the left coset gH and the right coset Hg must be equal. Since there are only two distinct cosets, H and its complement, any element from the complement will also yield the same coset structure. This leads to the conclusion that gN = Ng for all g in G, confirming that H is indeed a normal subgroup. The discussion highlights the importance of understanding coset partitioning in proving subgroup normality. Overall, the proof relies on the properties of cosets in groups of index 2.