Uniqueness of identity element

Statement

The group axioms imply that the identity element is unique; that is, there exists only one identity element: any two identity elements $e$ and $f$ of a group are equal, because the group axioms imply $e=e\cdot f=f$. It is thus customary to speak of the identity element of the group.