theorem Th42: :: GLIB_007:42

for G2 being _Graph
for v being object
for V being set
for G1 being addAdjVertexToAll of G2,v,V
for v1 being object st V c= the_Vertices_of G2 & not v in the_Vertices_of G2 & v1 in V holds
[v1,(the_Edges_of G2)] DJoins v,v1,G1