acho q faltou um dado na minha última msgm q pode dificultar o
entendimento... nós sabemos {r1, r2 ... r[fi(n)]} e {a*r1, a*r2 ...
a*r[fi(n)]} tem fi(n) elementos pq, primeiramente, todo sistema reduzido
de resíduos módulo n tem o mesmo número de elementos, e a definição de
fi(n) é justamente a contagem dos elementos do sistema reduzido de
resíduos módulo n com todos os seus elementos < n.