theorem Th2: :: GLIB_008:2

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