Induccion matemática, demostración