Cuatro colores son siempre suficientes para colorear un mapa.