theorem Th127:
  for v being Vertex of G holds createGraph(v) in G.allConnectedSG() by Th124;
