theorem Th185: :: GLENUM00:185

for G being connected _Graph
for H being removeLoops of G holds H is GraphUnion of G .allSpanningTrees()