Product with Inverse equals Identity iff Equality

Theorem
Let $\struct {G, \circ}$ be a group whose identity element is $e$.

Then:
 * $\forall a, b \in G: a \circ b^{-1} = e \iff a = b$

Proof
Using various properties of groups: