En general, si "d" es un divisor de "n", el número de elementos de Z de orden "d" es φ("d").