Clique no link aula03-Correctness.pdf para ver o arquivo.