theorem Th195: :: GLCOLO00:195

for G being _Graph holds
( G is edgeless iff G .tChromaticNum() = 1 )