We could use induction for this proof, now.
What definitions and properties are you relying on?
and we began section 2.4: Recursion.
We'll finish that up first.