Entonces formula_145 es un cuerpo.