theorem Th91: :: GLCOLO00:91

for E being set
for G1 being _Graph
for G2 being reverseEdgeDirections of G1,E
for g1 being EColoring of G1
for g2 being EColoring of G2 st g1 = g2 holds
( g1 is proper iff g2 is proper )