let induction-divisibility-3divnto3m2n = `!n:num. 3 divides n EXP 3 + 2 * n`;;