It's late, and I don't remember if there is an easier manipulation way..but you'll have to do this eventually might as well start now.

If we may conclude from the partitioning of cosets that . Thus, we may define a group to be the set with . Clearly is the identity element, it's associativity is associated from (why)? It is easy to prove that etc. Then, one can prove that is a well define homomorphism and . So?