Tengo una prueba para el caso de $a$ siendo el primer yo creo, yo creo que esto también es cierto para $a$ compuesto desde que me hizo una prueba para el primer $100$ números en el primer $100$ valores de $n$ y parece ser cierto.
De todos modos la prueba para que la 'a' prime es indirecta y a través finita de la teoría de campo. $ \phi(a^n - 1)$ es el número de raíces primitivas en $GF(a^n)$ y tienen irreductible polinomios de grado n $GF(a)$ y todas las raíces de la ecuación irreducible tiene que ser de raíces primitivas. Así que la irreductible ecuaciones de la partición del conjunto de raíces primitivas en conjuntos de $n$ elementos que significa $ \phi(a^n - 1)$ es divible por $n$.
Cualquier ayuda se agradece.