theorem Th162: :: GLCOLO00:162

for G being _Graph
for c being Cardinal st G is c -tcolorable holds
( G is c -vcolorable & G is c -ecolorable )