theorem Th182: :: GLCOLO00:182

for G2 being _Graph
for v, e, w being object
for G1 being addAdjVertex of G2,v,e,w holds
( G1 is finite-tcolorable iff G2 is finite-tcolorable )