theorem :: GLIB_000:30

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