"Suponer que formula_61 y que formula_62 Entonces,"