theorem
  for v being Vertex of G, H being inducedSubgraph of G, {v}, {}
  holds H == createGraph(v) by Th5;
