Chapter 05 Induction and Recursion 5.1 Mathematical Induction 5.3 Recursive Definitions and Structural Induction