Demonstração do critério de divisibilidade por 9