theorem
  for v being Vertex of G holds createGraph(v) in G.allSG() by Lm2;
