Si formula_8 entonces 3 es raíz primitiva módulo 5: