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