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