theorem Th29: :: MYCIELSK:29

for R being symmetric with_finite_chromatic# RelStr holds chromatic# R = cliquecover# (ComplRelStr R)