
theorem Th50:
  for G1 being _Graph, G2, G3 being DLGraphComplement of G1
  holds G3 is G2-Disomorphic
proof
  let G1 be _Graph, G2, G3 be DLGraphComplement of G1;
  G1 is G1-Disomorphic by GLIB_010:53;
  hence thesis by Th49;
end;
