Group Product Identity therefore Inverses/Part 1

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

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