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

theorem Th128:
  for G being non edgeless _Graph, e being Edge of G
  holds createGraph(e) in G.allConnectedSG() by Th124;
