theorem Th69: :: GLIB_006:65

for G2 being _Graph
for G1 being Supergraph of G2 st the_Vertices_of G2 = the_Vertices_of G1 & the_Edges_of G2 = the_Edges_of G1 holds
G1 == G2