Demostración: Sea formula_105.