theorem Th75: :: GLIB_009:75

for G being _Graph st ex E being RepEdgeSelection of G st E = the_Edges_of G holds
G is non-multi