Para una dirección que hemos
Sugerencia: tenga en cuenta que
$$
a^n-1\mediados de los a^{nk}-1
$$
En el otro sentido, supongamos que
$$
a^n-1\mediados de los a^m-1\etiqueta{1}
$$
Deje $m=qn+r$ donde $0\le r\lt n$. Sabemos que
$$
a^n-1\mediados de los a^{qn}-1\etiqueta{2}
$$
Restar $(2)$ $(1)$ para obtener
$$
a^n-1\mediados de los a^m-^{qn}\etiqueta{3}
$$
Desde $\gcd(a^n-1,a)=1$, $(3)$ implica
$$
a^n-1\mediados de los a^r-1\etiqueta{4}
$$
Desde $0\le r\lt n$, $(4)$ implica que $r=0$ (de lo contrario, una mayor entero positivo que divide a una más pequeña). Desde $r=0$, $m=qn$; es decir, $n\mid m$.