式的次数）。"C" 中每个元素都能生成 "C" 的一个子群，即必然是某个子群的生成元。而且按照定义，不同的子群不可能有相同的生成元。此外， "C" 的所有子群都具有 "C" 的形式，其中"d"整除"n"（记作"d" | "n"）。因此只要考察"n"的所有因数"d"，将 "C" 的生成元个数相加，就将得到 "C" 的元素总个数："n"。也就是说：其中的"d"为"n"的正约数。运用默比乌斯反转公式来“翻转”这个和，就可以得到另一个关于formula_1的公式：其中 μ 是所谓的默比乌斯函数，定义在正