theorem Th106: :: GLENUM00:106

for G being _Graph holds createGraph ([#] (the_Vertices_of G)) in G .allSpanningForests()