Inverse of Inverse of Bijection

Theorem
Let $f: S \to T$ be a bijection.

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

where $f^{-1}$ is the inverse of $f$.