theorem Th146: :: GLENUM00:146

for G being _Graph
for H being removeLoops of G holds G .allTrees() = H .allTrees()