Demostración: Sea formula_198.