theorem Th50: :: GLIB_012:50

for G1 being _Graph
for G2, G3 being DLGraphComplement of G1 holds G3 is G2 -Disomorphic