Theorem: The identity of a group is unique.

Proof.