Recordemos que si "f"("x") es un polinomio no nulo de grado "d" sobre un cuerpo "F", entonces "f"("x") tiene un máximo de "d" raíces en "F", y recordemos que el conjunto de todos los restos módulo un primo, con las operaciones de suma y multiplicación, es un cuerpo.