theorem Th61: :: GLIB_006:57

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