theorem Th21: :: GLENUM00:21

for G being non edgeless _Graph
for e being Edge of G
for V being Subset of (the_Vertices_of G)
for H being addVertices of createGraph e,V holds H is Subgraph of G