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

Ver versão inglesa.