theorem Th206: :: GLCOLO00:206

for G1, G2 being _Graph
for F being PGraphMapping of G1,G2 st F is isomorphism holds
G1 .tChromaticNum() = G2 .tChromaticNum()