theorem Th164: :: GLENUM00:164

for G being _Graph
for H being removeLoops of G holds SubtreeRel G = SubtreeRel H