formula_3 Se define formula_4.