Escribiendo "d" como el máximo común divisor de "q" y "n", y nombrando la función de Möbius y la función fi de Euler por μ y φ respectivamente, cumple la siguiente identidad: