Identity of Group is Unique/Proof 1

Proof
By the definition of a group, $\struct {G, \circ}$ is also a monoid.

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