theorem Th140: :: GLENUM00:140

for G being _Graph
for H being Tree-like Subgraph of G holds H | _GraphSelectors in G .allTrees()