theorem Th192: :: GLCOLO00:192

for G being loopless _Graph holds G .eChromaticNum() c= G .tChromaticNum()