theorem Th87: :: GLENUM00:87

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