Un coloreo voraz siempre encuentra color libre entre \(\Delta+1\), pues un vértice tiene a lo más \(\Delta\) vecinos. \(K_4\) refuta «se puede colorear con \(\Delta\) colores» (necesita 4 con \(\Delta=3\)) y un camino refuta «necesita al menos \(\Delta+1\) colores» y «necesita tantos colores como vértices».
Una coloración propia \(c\) con \(k\) colores de un grafo \(G=(V,E)\) asigna a cada vértice uno de los colores \(1,\dots,k\) sin que dos vértices adyacentes compartan color.
\[c:V\to\{1,\dots,k\},\qquad c(u)\neq c(v)\ \text{ si } \{u,v\}\in E\]