Es decir, "los vértices de cada grafo plano pueden ser coloreados con un máximo de cuatro colores de modo que no existan dos vértices adyacentes con el mismo color".