theorem Th8: :: GLENUM00:8

for G1, G2 being _Graph
for V being non empty Subset of (the_Vertices_of G1) st V c= the_Vertices_of G2 holds
createGraph V is Subgraph of G2