theorem Th103: :: GLENUM00:103

for G being _Graph holds G .allSpanningForests() = (G .allSpanningSG()) /\ (G .allForests())