Cancellation Laws/Corollary 1

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

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