theorem :: GLIB_000:151

for G being _Graph
for v being Vertex of G holds v .edgesInOut() = G .edgesBetween ((the_Vertices_of G),{v})