En concreto, sea formula_1 una extensión de cuerpos.