theorem Th186: :: GLCOLO00:186

for G being _Graph st G is loopless holds
G is G .tChromaticNum() -tcolorable