Demostración: Por inducción sobre formula_60.