theorem Th107: :: GLIB_000:107

for G being _Graph
for X being set
for v being Vertex of G holds G .edgesBetween (X \ {v}) = (G .edgesBetween X) \ (v .edgesInOut())