theorem Th100: :: GLCOLO00:100

for G being _Graph holds G is G .size() -ecolorable