Como calcular o avanço do dia da semana ao passar do 1º de um mês para o 1º do mês seguinte, a partir do número de dias do mês?

Avanço = (dias do mês) mod 7; assim, 30→+2, 31→+3, 28→0, 29→+1.

Explicação:
O deslocamento do dia da semana ao trocar de mês é o resto da divisão do número de dias do mês por 7.
Fórmula: \( \text{novo dia} = \text{dia atual} + (\text{dias do mês} \bmod 7) \).

Exemplo:
Março tem 31 dias, logo \(31 \equiv 3 \pmod{7}\).
Se 1º de março for terça, então 1º de abril = terça + 3 dias = sexta.
(Cálculo: \( \text{terça} + 3 = \text{sexta} \)).