theorem Th47: :: GLIB_012:47

for G1 being _Graph
for G2 being removeDParallelEdges of G1
for G3 being DLGraphComplement of G1 holds G3 is DLGraphComplement of G2