tokens: Le théorème des quatre couleurs , démontré en 1976 , établit qu' un graphe planaire ( ou , de manière équivalente , une carte plate à deux dimensions avec des régions , telles que les pays ) peuvent être colorées en utilisant au plus quatre couleurs , donc les régions adjacentes sont toujours de couleurs différentes ( trois couleurs ne sont pas suffisantes en général ) .