Principle of Recursive Definition/Proof 1

Proof
Consider $\N$ defined as a Peano structure $\left({P, 0, s}\right)$.

The result follows from Principle of Recursive Definition for Peano Structure.