theorem :: GLENUM00:12

for G1, G2 being _Graph
for v being Vertex of G1 st v in the_Vertices_of G2 holds
createGraph v is Subgraph of G2 by Th8, ZFMISC_1:31;