Sea K el grafo completo con "n" vértices, K es el grafo bipartito de "n" y "p" vértices.