Demostración: Sea formula_264.