theorem Th99: :: GLCOLO00:99

for G being _Graph
for c1, c2 being Cardinal st c1 c= c2 & G is c1 -ecolorable holds
G is c2 -ecolorable by XBOOLE_1:1;