Considere la posibilidad de secuencia $x^2-x+1$ ($1,3,7,13,21,31,43,57,73,91,\dots$). Vamos a considerar la factorización prima de cada término. $$3=3$$ $$7=7$$ $$13=13$$ $$21=3\times7$$
Parece que los únicos factores primos que oímos son 3 y los de la forma $6k+1$. De hecho, la descomposición en factores primos de los primeros 10 000 términos de la secuencia da 7233 distintos de los números primos, y todos ellos (excepto 3)$6k+1$.
Que ningún miembro de la secuencia es siempre divisible por un primo de la forma $6k-1$ es puramente empírica conjetura. Existe una prueba formal (o un contraejemplo)?