Todo grafo conexo "G" admite un árbol de expansión, que es un árbol que contiene cada vértice de "G" y cuyas aristas son aristas de "G".