dünyada var olması olası tüm haritaları renklendirmek için sadece 4 rengin yeterli olduğunu savunan teorem.
bunu 19. yüzyılın ortalarında francis guthrie adlı bir matematik öğrencisi ortaya atmıştı. o günden itibaren de matematikçilerin üzerinde çalıştığı bir problem haline geldi. yıllarca 6 rengin yeterli olduğu, 5 rengin de -biraz zorlarsak- yeterli olabileceği defalarca kanıtlansa da, 4 renkle ilgili kısım matematikçileri zorlamaya devam etti. içerisinde az ülke bulunan haritalar için bu da bir problem değildi, ama ülke ya da sınırları ayrılmış bölge sayısı arttıkça, 4 rengin yeterli olup olmayacağı konusu tartışmaya açıktı.
"iddia"nın doğruluğu ancak 1970'li yıllarda bilgisayar yardımıyla ispatlanabildi. bu da matematikçilerin pek hoşuna gitmedi. onlar kanıtı bir matematikçiden beklerken, kanıtın bilgisayardan gelmesinden hoşlanmamışlardı.
