Principle of Recursive Definition/Proof 3

Proof
Recall the general result:

The result follows from setting $p = 0$.