Por construcción T es acíclica y tiene n-1 aristas; por lo tanto, T es un árbol expandido de G.