Mathematical Induction divisible