PROBLEM SET 01 - Proofs and induction 1 Proofs 2 Induction