¿Cómo se hace una demostración por inducción?