Composite of Bijections is Bijection

Theorem
Let $f$ and $g$ be mappings such that $\Dom f = \Cdm g$.

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

where $f \circ g$ is the composite mapping of $f$ with $g$.