Die Vierfarbenvermutung besagte, dass man jede ebene Landkarte mit vier Farben einfärben kann, so dass benachbarte Länder stets unterschiedliche Färbungen erhalten. Sie war ein schon im 19. Jahrhundert gestelltes, lange offenes Problem. Martin Gardner behauptete in einem Aprilscherzartikel 1975 (neben einigen offensichtlich abwegigen Behauptungen), dass die unten abgebildete Karte nicht mit vier Farben gefärbt werden…