Composite of Bijections is Bijection

Theorem
Every composite of bijections is also a bijection.

That is:
 * If $f$ and $g$ are both bijections, then so is $f \circ g$.