theorem :: GLCOLO00:136

for G being _Graph st G is _trivial holds
G .eChromaticNum() = G .size()