Ciclos de residuos en una progresión geométrica

Sean $a$ y $g$ enteros positivos coprimos con un módulo $m$ (otro entero positivo), y consideremos los residuos que dejan (en la división entre $m$) los términos de la progresión aritmética $a,ag,ag^2,\ldots$. Demostrar que en esa sucesión de residuos éstos recurren (se repiten por bloques o ciclos), y que si $t$ es el número de términos del período o bloque recurrente, entonces $t\leq \phi(m)$