Principle of Recursive Definition/Proof 1

Proof
Consider $\N$ defined as a Peano structure $\struct {P, 0, s}$.

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