Sei also G=(V,E) ein zusammenhängender Graph, T=(V,F) ein aufspannender Baum. Betrachte in T einen längsten Weg \((v_0,v_1, \ldots,v_n)\). Dann hat \(v_0\) in T den Grad 1 (Sonst könnten wir den Weg verlängern und \(v_0=v_n\) würde bedeuten, dass der Weg geschlossen wäre.)
Dann ist \(\left(T\setminus\{v_0\},F \setminus\{\{v_0,v_1\}\}\right)\) ein Baum.
Das bedeute: Wenn wir aus G \(v_0\) und alle seine Kanten herausnehmen, bleibt ein zusammenhängender Graph übrig.