theorem Th120: :: GLCOLO00:120

for G being _Graph holds G .eChromaticNum() c= G .size()