theorem Th183: :: GLCOLO00:183

for G2 being _Graph
for v being object
for V being finite set
for G1 being addAdjVertexAll of G2,v,V holds
( G1 is finite-tcolorable iff G2 is finite-tcolorable )