theorem :: GLCOLO00:62

for G being loopless _Graph st G is complete holds
G .vChromaticNum() = G .order()