El grupo diédrico (discutido anteriormente) es un grupo finito de orden 8. El orden de r1 es 4, al igual que el orden del subgrupo R que genera (véase más arriba). El orden de los elementos de reflexión fv, etc. es 2. Ambos órdenes dividen 8, como predice el teorema de Lagrange. Los grupos Fp× anteriores tienen orden p − 1. Pregunta: ¿Qué número dividen ambos órdenes de acuerdo con el teorema?
8 y 9