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

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