theorem Th13: :: MYCIELSK:13

for R being finite RelStr holds chromatic# R <= card the carrier of R