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

Ver versão em inglês.