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:

$$ $$ $$ $$