theorem :: GLENUM00:11

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