Entonces, el cuerpo que resulta al adjuntar formula_22, formula_29 es finito,