theorem Th4:
  for V being non empty Subset of the_Vertices_of G
  holds createGraph(V) in G.allSG() by Lm1;
