theorem :: GLIB_012:54

for G1 being non-Dmulti _Graph
for G2 being DLGraphComplement of G1 holds G1 is DLGraphComplement of G2