theorem Th168: :: GLENUM00:168

for G1, G2 being _Graph holds
( G2 in G1 .allSpanningTrees() iff ( G2 is spanning acyclic plain Subgraph of G1 & G2 is connected ) )