for G being edgeless _Graph
for e, v1, v2 being object holds
( not e Joins v1,v2,G & not e DJoins v1,v2,G )