βž—

That induction proof with divisibility