theorem Th6: :: GLIB_007:6

for G2 being _trivial _Graph
for E being set
for G1 being _Graph holds
( G1 == G2 iff G1 is reverseEdgeDirections of G2,E )