theorem Th79: :: GLENUM00:79

for G being _Graph
for H being acyclic Subgraph of G holds H | _GraphSelectors in G .allForests()