theorem Th163: :: GLCOLO00:163

for G being _Graph
for c1, c2 being Cardinal st G is c1 -vcolorable & G is c2 -ecolorable holds
G is c1 +` c2 -tcolorable