como formula_59 es distinto de formula_65, podemos simplificar y