AIII.SP.46: Prove statements using mathematical induction.