Bu teorem şunu söylüyor : sonsuz sayıda bölgeden oluşan bir harita da birbirine komşu olan bölgeler (sonsuz sayıda noktada) farklı renge boyamak üzere bu işlemleri en fazla 4 farklı renk kullanarak yapılabilir...   Bu teoremi ilk defa 1852'de Francis Guthrie atmıştır lakin günümüze kadar matematiksel bir ispatı bulunamamıştır ama dünya da ilk defa bilgisayar yazılımlı bir yapıyla teorem doğrulanmış ( ama matematiksel ispatı yapılamamış)..!    #tbt