theorem Th56: :: GLCOLO00:56

for G being _Graph holds G .vChromaticNum() c= G .order()