reserve G, G1, G2 for _Graph, H for Subgraph of G;

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