Para k=O, se tiene que So = S es un árbol de costo mínimo de G.