theorem Th81: :: GLENUM00:81

for G being _Graph
for V being non empty Subset of (the_Vertices_of G) holds createGraph V in G .allForests() by Th78;