theorem Th33: :: GLIBPRE0:29

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