theorem Th34: :: GLIB_000:34

for G being _Graph holds the_Edges_of G = G .edgesBetween (the_Vertices_of G)