Teorema 7 formula_92es el conjunto de aristas de una subgráfica de formula_16 con las siguientes propiedades: