Probar que

es una raíz primitiva módulo

si y sólo si, para todo

tal que

se tiene que

.
El directo creo haberlo probado asÍ:
Por definición

, es decir que

. Entonces:

Si para cualquier divisor

de

se cumple que

entonces

pero eso es absurdo pues

. ¿Es esto correcto? ¿Como puedo probar el recíproco?
Gracias