Combien faut-il de couleurs au minimum pour colorier n’importe quelle carte de régions connexes de sorte que 2 régions limitrophes (avec une frontière commune qui ne soit pas un point) soient de couleurs différentes ? Seules 4 couleurs suffisent et ceci a été démontré en 2005.