for G1 being _Graph
for G2 being LGraphComplement of G1
for e1, e2, v, w being object st e1 Joins v,w,G1 holds
not e2 Joins v,w,G2