Entonces, formula_214 es un cuerpo extensión de formula_17 cuyos elementos son todos de la forma formula_216, donde formula_217, Es decir, los Complejos.