g, n sıralı grubun bir çoğullayıcısı olsun ve g elemanıdır g'nin. o zaman g nin sıralısı n'e bölünür.

önermenin sonucu:

eger b elemanıdır zn * ise b fi (n) denktir 1(mod n)'e göre.

ispatı:

zn* fi(n) dizisinin çoğullayıcı bir grubudur.