theorem Th83: :: GLIB_012:83

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