Se demuestra que formula_8: formula_9