El grafo G no puede tener un vértice de grado 3 o menos, porque si "g(v) ≤ 3", podemos eliminar "v de G", y colorear con cuatro colores el grafo modificado más pequeño, y a continuación, añadir de nuevo el vértice "v" y colorearlo con un color diferente al de sus vecinos.