Identity of Group is Unique/Proof 1

Proof
By the definition of a group, $\left({G, \circ}\right)$ is also a monoid.

The result follows by applying the result Identity of Monoid is Unique.