Group Product Identity therefore Inverses/Part 2

Theorem
Let $g$ and $h$ be elements of a group $G$ whose identity element is $e$.

Then:
 * $h g = e \implies h = g^{-1}$ and $g = h^{-1}$