theorem :: GLCOLO00:135

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