Demonstração da coerência do programa com os objectivos

Trata-se de matéria standard de teoria dos números a este nível.