Transfinite Recursion Theorem/Formulation 1/Proof 2

Proof
This is a special case of Transfinite Recursion Theorem: Formulation $4$.

Take $c$ to be $0$, that is $\O$.

Let us take the special case where $g$ is a strictly progressing mapping.

The result follows directly.