Introduction to group theory/Uniqueness of identity proof

Proof:

Let be a group, and let both be identity elements. Then

and .

Then since

and thus .
Q.E.D.