C.NQ.3: Prove statements using mathematical induction.