Bijection iff Left and Right Inverse/Corollary

Corollary to Bijection iff Left and Right Inverse
Let $f: S \to T$ and $g: T \to S$ be mappings such that:


 * $g \circ f = I_S$
 * $f \circ g = I_T$

Then both $f$ and $g$ are bijections.

Proof
Suppose we have such mappings $f$ and $g$ with the given properties.

From Bijection iff Left and Right Inverse, we have that $f$ is a bijection, by considering $g = g_1$ and $g = g_2$.

It directly follows that by setting $g = f, f = g_1, f = g_2$, the result Bijection iff Left and Right Inverse can be used the other way about.