theorem Th161: :: GLCOLO00:161

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