Inverse in Group is Unique/Proof 1

Proof
By the definition of a group, $\struct {G, \circ}$ is a monoid each of whose elements has an inverse.

The result follows directly from Inverse in Monoid is Unique.