theorem Th142:
  for v being Vertex of G holds createGraph(v) in G.allTrees() by Th138;
