1) The order of an element divides the order of the group. This means that there can be no "self-inverse" elements, that is (other than e of course)

Therefore every element has an inverse distinct from itself. Therefore by multiplying all elements together, we can pair off elements with their inverses, to get e

2) Use the fact that multiplication of integers is associative