theorem Th187: :: GLCOLO00:187

for G being _Graph holds
( not G is loopless iff G .tChromaticNum() = 0 )