theorem Th60: :: GLCOLO00:60

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