demostración por inducción matemática (English)