Sea formula_18 un cuerpo, y formula_19.