theorem Th63: :: GLIB_006:59

for G1, G2 being _Graph holds
( ( G1 is Supergraph of G2 & G2 is Supergraph of G1 ) iff G1 == G2 )