Proof by Induction Divisibility proofs