Si formula_264 y formula_265 entonces