Successor Mapping on Natural Numbers is Progressing/Proof 2

Proof
By definition, the successor mapping on $\omega$ is indeed an example of a successor mapping.

The result follows from Successor Mapping is Progressing.