Por inducción se puede probar que tenemos formula_5