Kenneth Appel et Wolfgang Haken ont démontré, pour la première fois à l'aide d'un ordinateur, que 4 couleurs suffisent pour colorier une carte dans laquelle tous pays contigus ont des couleurs différentes.