Composite of Injections is Injection

Theorem
A composite of injections is an injection.

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

Proof
Let $f$ and $g$ be injections.

Then: