AFM.NR.4.4: Prove statements involving properties of numbers.