Inverse of Group Inverse

Theorem
Let $\struct {G, \circ}$ be a group.

Let $g \in G$, with inverse $g^{-1}$.

Then:
 * $\paren {g^{-1} }^{-1} = g$