Sea S=[X,A'] un árbol de costo mínimo de G y supóngase T es distinto de S.