theorem Th110: :: GLENUM00:110

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