La teoría dice que formula_4 está formado por todos los polinomios en formula_22 de grado a lo más formula_171 con coeficientes en formula_5.