La condición de no tener ningún divisor primo fijo se puede comprobar efectivamente en un caso dado, ya que hay una base explícita para los polinomios de valores enteros.