theorem Th54: :: GLCOLO00:54

for G being _Graph st G is loopless holds
G is G .vChromaticNum() -vcolorable