Se puede demostrar que si "p" es un número primo, entonces existe alguna raíz primitiva módulo "p" (para la demostración se utiliza el hecho de que formula_18 es un cuerpo cuando "p" es primo).