theorem Th55: :: GLCOLO00:55

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