theorem Th66: :: GLIB_006:62

for G3 being _Graph
for G2 being Supergraph of G3
for G1 being Supergraph of G2 holds G1 is Supergraph of G3