Let be a finite subset of a group (not necessarily a subgroup). Denote by the set .

Prove that the following is true:

equals a left coset for some subgroup and some

element , and also equals some right coset , .

The backward implication is easy enough since all that's required is a simple bijection, but I'm having problems proving the forward implication.

Thanks in advance!