Inverse of Composite Bijection

Theorem
Let $f$ and $g$ be bijections.

Then:


 * $\left({g \circ f}\right)^{-1} = f^{-1} \circ g^{-1}$

and $f^{-1} \circ g^{-1}$ is itself a bijection.