Entonces, el subcuerpo formula_29 de formula_4 generado por formula_5 y formula_22, consiste de todos los polinomios en formula_22 de grado a lo más formula_171.