Property of Increasing Mapping on Ordinals

Theorem
Let $\On$ denote the class of all ordinals.

Let $K_{II}$ denote the class of all limit ordinals.

Let $F$ be a mapping defined on $\On$ satisfying the following conditions:

Then: