theorem Th74: :: GLIB_009:74

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