theorem Th48: :: GLIB_012:48

for G1, G2 being _Graph
for G3 being removeDParallelEdges of G1
for G4 being removeDParallelEdges of G2
for G5 being DLGraphComplement of G1
for G6 being DLGraphComplement of G2 st G4 is G3 -Disomorphic holds
G6 is G5 -Disomorphic