Sea Sr la gráfica resultante y nótese que Sr es un árbol de G.