De aquí en adelante, formula_2 designará uno de los cuerpos formula_3 o formula_4: