https://9dok.net/document/yev1l1r7-beweisen-äquivalenz-aussagen-spannbaum-t-sammenhängenden-graphens-g.html