theorem :: GLCOLO00:61

for G being loopless non edgeless _Graph holds 2 c= G .vChromaticNum()