Divisibility Proof by Induction