theorem Th46: :: GLIB_007:46

for G2 being _Graph
for v being object
for G1 being addAdjVertexAll of G2,v, {} holds the_Edges_of G2 = the_Edges_of G1