theorem Th59: :: GLCOLO00:59

for G being loopless _Graph holds 1 c= G .vChromaticNum()