theorem Th65: :: GLIB_006:61

for G being _Graph holds G is Supergraph of G by Th64;