theorem Th12: :: GLIB_007:12

for G2 being _Graph
for E, V being set
for G1 being reverseEdgeDirections of G2,E holds G1 .edgesInOut V = G2 .edgesInOut V