Demostración por inducción