theorem :: GLIB_000:104

for G being _Graph
for X1, X2 being set
for y being object st X1 misses X2 holds
G .edgesBetween (X1,{y}) misses G .edgesBetween (X2,{y})