Comenzando en cualquier vérticev, siga una secuencia de aristas distintas hasta que se repita un vértice; esto es posible porque el grado de cada vértice es de al menos dos, por lo que al llegar a...Comenzando en cualquier vérticev, siga una secuencia de aristas distintas hasta que se repita un vértice; esto es posible porque el grado de cada vértice es de al menos dos, por lo que al llegar a un vértice por primera vez siempre es posible dejar el vértice en otro borde. SiG es una gráfica conectada enn vértices, un árbol de expansión paraG es un subgrafo deG que es un árbol enn vértices.
