donde φ("n") denota función phi de Euler que cuenta el número de enteros entre 1 y "n" que sean coprimos con respecto a "n".