theorem Th76: :: GLIB_009:76

for G being non-Dmulti _Graph
for E being RepDEdgeSelection of G holds E = the_Edges_of G