theorem Th23: :: GLIB_009:23

for G being _Graph holds
( G is non-Dmulti iff for v, w being object holds G .edgesDBetween ({v},{w}) is trivial )