up:: Coset

Let be a Group and be a Subgroup of .

By hypothesis, left cosets equal right cosets, which means that, for a given , .

That is, given , .

Thus, is a Normal Subgroup.