Esto porque, si un grafo tiene un conjunto independiente de tamaño "k", luego su grafo complemento tendrá un clique de tamaño "k".