A dihedrális csoport (amelyről fent beszéltünk) egy véges csoport a 8. rendben. Az r1 rendje 4, ahogy az R alcsoport rendje is, amit generál (lásd fent). A fv és a fv tükröző elemek sorrendje 2. Mindkét sorrend osztja az 8-at, ahogy azt a Lagrange-féle tétel jósolja. Az Fp× csoportok felette p − 1. Kérdés: Mely szám osztja meg mindkét sorrendet a tétel szerint?
8 sz.