Y sean formula_2 , formula_3 reales tales que formula_4.