Theorem: The inverse of an element of a group is unique.

Proof.