Entonces, hay un número natural formula_46 y un polinomio formula_137 de grado formula_46, formula_168, irreducible sobre formula_480 tales que formula_511, Además, formula_512, la clase de formula_170 es un generador del grupo cíclico de formula_443 y formula_137 es un factor del polinomio formula_516.