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