Product with Inverse equals Identity iff Equality

Theorem
Let $\left({G, \circ}\right)$ 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: