theorem Th27: :: GLCOLO00:27

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