theorem Th166: :: GLCOLO00:166

for G being _Graph
for c being Cardinal
for H being Subgraph of G st G is c -tcolorable holds
H is c -tcolorable