Inverse of Inverse of Bijection

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

Then:
 * $\left({f^{-1}}\right)^{-1} = f$

Proof
This is a specific example of Inverse of Inverse Relation.