theorem :: GLCOLO00:207

for G1 being _Graph
for G2 being b₁ -isomorphic _Graph holds G1 .tChromaticNum() = G2 .tChromaticNum()