donde formula_8 es el cuerpo generado por una raíz primitiva formula_9-iésima de la unidad.