AFM.LR.2.5: Use the method of mathematical induction to prove statements involving the positive integers.