
theorem Th53:
  for G being _Graph
  holds G is G-Disomorphic G-isomorphic
proof
  let G be _Graph;
  id G is directed strong_SG-embedding isomorphism;
  hence thesis;
end;
