Working on HW #7, Inductive proofs for CE16. On question 5/6