Composition of Right Inverse with Mapping is Idempotent

Theorem
Let $f: S \to T$ be a mapping.

Let $g: T \to S$ be a right inverse mapping of $f$.

Then:
 * $\paren {g \circ f} \circ \paren {g \circ f} = g \circ f$