theorem Th57: :: GLCOLO00:57

for G being _Graph
for c being Cardinal st G is c -vcolorable holds
G .vChromaticNum() c= c