Argumentação de corretude

O mod2 é o final