theorem Th101: :: GLCOLO00:101

for G being _Graph holds
( G is edgeless iff G is 0 -ecolorable )