Sabemos que el grupo multiplicativo de formula_4 es cíclico, lo que usamos en la demostración de la proposición 13, para que a partir de un generador del grupo cíclico, hallar un polinomio irreducible de grado formula_46 .