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