Definition of Identity Uniqueness

Assume that $G$ together with $\ast$ is a group. Then, $G$ has exactly one identity element.