Si existe un grafo que requiere 5 colores, entonces existe un grafo "minimal", donde la eliminación de cualquier vértice lo hace cuatro colorable.