Cancellation Laws/Corollary 2

Corollary to Cancellation Laws
Let $g$ and $h$ be elements of a group $G$ whose identity element is $e$.

Then:
 * $h g = g \implies h = e$