theorem :: GLIB_000:134

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