Group Product Identity therefore Inverses/Part 1/Proof 1

Proof
From the Division Laws for Groups:
 * $g h = e \implies g = e h^{-1} = h^{-1}$

Also by the Division Laws for Groups:
 * $g h = e \implies h = g^{-1} e = g^{-1}$