3.6 Indução matemática