Inverse of Group Product/Proof 2

Proof
We have that a group is a monoid, all of whose elements are invertible.

The result follows from Inverse of Product in Monoid.