theorem Th32: :: GLCOLO00:32

for G1, G2 being _Graph
for c being Cardinal st G1 == G2 & G1 is c -vcolorable holds
G2 is c -vcolorable