Sin embargo, a la vista de la definición de "f"("x"), del pequeño teorema de Fermat se sigue que cada elemento 1, 2, ..., "p" − 1 es una raíz de "f"("x") (por lo que, "a fortiori", es una raíz de "f"("x") módulo "p").