theorem Th153: :: GLCOLO00:153

for E being set
for G1 being _Graph
for G2 being reverseEdgeDirections of G1,E
for t1 being TColoring of G1
for t2 being TColoring of G2 st t1 = t2 holds
( t1 is proper iff t2 is proper )