theorem :: GLCOLO00:191

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