Sea formula_5 una raíz primitiva formula_4-ésima de la unidad y consideremos la siguiente torre de cuerpos de números: