De aquí se tiene que formula_3