
theorem Th49:
  for G1 being _Graph, G2 being G1-Disomorphic _Graph
  for G3 being DLGraphComplement of G1, G4 being DLGraphComplement of G2
  holds G4 is G3-Disomorphic
proof
  let G1 be _Graph, G2 be G1-Disomorphic _Graph;
  let G3 be DLGraphComplement of G1, G4 be DLGraphComplement of G2;
  set G5 = the removeDParallelEdges of G1;
  set G6 = the removeDParallelEdges of G2;
  G6 is G5-Disomorphic by GLIB_010:170;
  hence thesis by Th48;
end;
