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.