Demonstração por Indução