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

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