الممر: المجموعة الديهيدرالية (المناقشة أعلاه) هي مجموعة محدودة من النظام 8. ترتيب r1 هو 4، كما هو ترتيب المجموعة الفرعية R التي تولدها (انظر أعلاه). ترتيب عناصر الانعكاس fv إلخ هو 2. كل من النظامين يقسمون 8، كما تنبأ به نظرية لاغرانج. المجموعات Fp × أعلاه لها ترتيب p - 1. السؤال: أي عدد يقسم كلا النظامين وفقًا للنظرية؟
8