donde formula_66 por hipótesis de inducción, y así