theorem Th125: :: GLCOLO00:125

for E being set
for G1 being _Graph
for G2 being reverseEdgeDirections of G1,E holds G1 .eChromaticNum() = G2 .eChromaticNum()