Se sabe que no existe una función polinómica no constante formula_1 que evalúe números primos para todos los enteros "n".