察"n"的所有因数"d"，将 "C" 的生成元个数相加，就将得到 "C" 的元素总个数："n"。也就是说：其中的"d"为"n"的正约数。运用默比乌斯反转公式来“翻转”这个和，就可以得到另一个关于formula_1的公式：其中 μ 是所谓的默比乌斯函数，定义在正整数上。对任何两个互质的正整数"a", "m"（即 gcd("a","m") = 1），formula_40，有即欧拉定理。这个定理可以由群论中的拉格朗日定理得出，因为任意与"m"互质的"a"都属于环 formula_3 的单位元