theorem Th167: :: GLCOLO00:167

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