theorem Th82: :: GLENUM00:82

for G being _Graph
for v being Vertex of G holds createGraph v in G .allForests() by Th81;