SMS: Divisibilidade e congruência em somatórios