theorem Th14: :: GLIB_016:14

for G1 being _Graph
for G2 being DLGraphComplement of G1 holds
( the_Edges_of G1 = G1 .loops() iff G2 is Dcomplete )