theorem Th141: :: GLIB_000:141

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