DM.LR.4.c: Construct induction proofs involving a divisibility argument.