Ellos demostraron que cualquier mapa de dos dimensiones, con ciertas limitaciones, puede ser llenado con cuatro colores adyacentes sin ningún tipo de "países" que comparten el mismo color.