theorem Th121: :: GLCOLO00:121

for G being _Graph holds
( G is edgeless iff G .eChromaticNum() = 0 )