Induction and recursion - Kent

Assume the inductive hypothesis holds and then show that . P (k) holds has well. So, assuming . P (k), it follows that: Hence, we have shown that . P (k + 1) follows ...