¿Es verdad que uno siempre puede color de un gráfico G con $\chi(G)$ colores de tal manera que una de las clases de color es un conjunto independiente máximo posible cardinalidad? Por favor, probar si es verdad.
[Nota: $\chi(G)$ es el número cromático de G, o el más pequeño número k tal que podemos color del gráfico G con k colores. Conjunto independiente significa que ninguno de los vértices en el conjunto son adyacente.