theorem Th141: :: GLENUM00:141

for G being _Graph holds
( G is Tree-like iff G | _GraphSelectors in G .allTrees() )