theorem Th29: :: GLCOLO00:29

for G being _Graph st G is loopless holds
G is G .order() -vcolorable