Inverse of Group Product

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

Let $a, b \in G$, with inverses $a^{-1}, b^{-1}$.

Then:
 * $\paren {a \circ b}^{-1} = b^{-1} \circ a^{-1}$