En otras palabras, se conjetura que un conjunto finito de polinomios irreducibles que tomen valores enteros sin ninguna "obstrucción local" para tomar infinitos valores primos tomará efectivamente infinitos valores primos.