Inverse of Composite Bijection/Proof 1

Proof
$\left({g \circ f}\right)^{-1} = f^{-1} \circ g^{-1}$ is a specific example of Inverse of Composite Relation.

As $f$ and $g$ are bijections then by Bijection iff Inverse is Bijection, so are both $f^{-1}$ and $g^{-1}$.

By Composite of Bijections is Bijection, it follows that $f^{-1} \circ g^{-1}$ is a bijection.