De la expresión (2) obtenemos formula_2, así que