Entonces el orden de cualquier elemento "k" ≠ 0 es "n"/"d", donde "d" es el máximo común divisor entre "n" y "k".