theorem Th65:
  G is Supergraph of G by Th64;
