Luego, formula_194 es un cuerpo que es un extensión de formula_195.