Demostración: Sea formula_207.