Inverse of Group Product/General Result/Proof 1

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

The result follows from Inverse of Product/Monoid/General Result.