theorem Th81: :: GLIB_012:81

for G1 being _Graph
for G2 being DGraphComplement of G1
for e1, e2, v, w being object st e1 DJoins v,w,G1 holds
not e2 DJoins v,w,G2