Recordemos que formula_55 es la cantidad de enteros positivos menores o iguales que formula_44 que son relativamente primos con formula_53 Sabemos que las clases de congruencia de esos números determinan al grupo multiplicativo formula_58 En esta sección, probaremos un resultado que permitirá computar formula_55 para cualquier valor entero de formula_53 Necesitaremos el resultado de la siguiente proposición.