theorem Th3: :: GLIB_007:3

for G2 being _Graph
for E being set
for G1 being reverseEdgeDirections of G2,E holds G2 is reverseEdgeDirections of G1,E