https://prinsli.com/examples-mathematical-induction-proofs-for-divisibility-statements/