Si formula_6 es algebraico, entonces el grado formula_87 de la extensión es finito.