Sea formula_7 un grafo bipartito con formula_5 y formula_10, se verifica: