Los 4 vértices de \(K_4\) son adyacentes entre sí, así que usan 4 colores distintos y \(G\) necesita al menos 4. Pero puede necesitar más (por ejemplo \(K_5\)): no se puede asegurar que sea exactamente 4.
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\]