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