Esto nos permite afirmar que un polinomio que toma valores enteros "Q"("x") tiene un "divisor fijo m" si existe un número entero "m" > 1 tal que