theorem Th98: :: GLIB_006:94

for G2 being _Graph
for v being object
for G1 being addVertex of G2,v holds v is Vertex of G1