Si no, sea formula_8 la primera arista agregada durante la construcción de formula_3, que no está en formula_5 y sea formula_11 el conjunto de nodos conectados por las aristas agregadas antes que formula_8.