reserve G for _Graph;

theorem Th65:
  G is Supergraph of G by Th64;
