Inverse in Group is Unique/Proof 1

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

The result follows directly from Inverse in Monoid is Unique.