Demostración inductiva