theorem :: GLIB_007:24

for G2 being _Graph
for E being set
for G1 being reverseEdgeDirections of G2,E holds
( G1 .order() = G2 .order() & G1 .size() = G2 .size() )