Si usamos otras letras para simplificarlo de forma que formula_3 y formula_4 la demostración (que es algo más sencilla) queda como sigue: