theorem Th104: :: GLENUM00:104

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