Asuma que llamamos formula_42 y formula_43.