Considera un polinomio $P(x) = \prod^9_{j=1}(x+d_j),$ donde $d_1, d_2, \ldots d_9$ son nueve enteros distintos. Demuestra que existe un entero $N,$ tal que para todos los enteros $x \geq N$ el número $P(x)$ es divisible por un número primo mayor que 20.