Longitud del ciclo --de residuos potenciales

Falta un 1 en el lado derecho de la congruencia que aparece en la primer oración de la entrada. Una vez aclarado eso la prueba sería como sigue: por el algoritmo de la división se tiene que $u = \mathbf{o} \cdot q + r$ para algún natural $q$ y algún natural $r$ que satisface $0 \leq r < \mathbf{o}$. Así, si $\mathbf{o}$ no dividiera a $u$ se tendría que $r \in (0,\mathbf{o})$ es tal que

$1 \equiv a^{u} = a^{\mathbf{o} \cdot q + r} \equiv a^{r} \mod m$

lo que contradice la minimalidad de $\mathbf{o}.$ De lo anterior se tiene que $r$ debe ser igual a $0$ y la prueba termina.