article.return6ab7462db2517 Avanços no uso de Sistemas de Igualdades e Desigualdades para demonstrar o Teorema das Quatro Cores Baixar Baixar PDF