Si "G" es un grafo completo bipartido formula_5, entonces se cumple formula_6.