Este problema fue conocido bajo el nombre de "teorema de los cuatro colores", siendo uno de los teoremas topológicos, sin resolución por más de un siglo, hasta ser finalmente demostrado en 1976 con la ayuda de una computadora.