theorem Th18: :: GLCOLO00:18

for E being set
for G1 being _Graph
for G2 being reverseEdgeDirections of G1,E
for f1 being VColoring of G1
for f2 being VColoring of G2 st f1 = f2 holds
( f1 is proper iff f2 is proper )