theorem Th150: :: GLIB_000:150

for G being _Graph
for X, Y being set holds G .edgesBetween (X,Y) = (G .edgesDBetween (X,Y)) \/ (G .edgesDBetween (Y,X))