Sea $k$ el orden de $a$ modulo $n$. Entonces se cumplen las siguientes propiedades: 1. $k$ divide a cualquier otro entero $j$ tal que $a^j\equiv 1\text{ mod }n$. 2. Todas las congruencias $a,a^2,a^3,\cdots a^k$ son diferentes modulo $n$.