theorem Th196: :: GLCOLO00:196

for G being loopless non edgeless _Graph holds 3 c= G .tChromaticNum()