Si la HGR es verdadera, entonces para cada primo "p" existe una raíz primitiva módulo "p" (un generador del grupo multiplicativo de enteros módulo "p") que es menor que 70 (ln("p")); lo que se suele utilizar en numerosas demostraciones.