theorem Th82: :: SCMYCIEL:82

for G being finitely_colorable SimpleGraph holds chromatic# G = cliquecover# (Complement G)