✍️

Induction proofs with divisibility