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