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