[math-fun] Divisor question