Zusammenhängender Graph/Aufspannender Baum/Fakt

Existenzsatz für aufspannende Bäume