Sea un grafo formula_3 con conjunto de vértices formula_4, numerados de 1 a N.