theorem :: DILWORTH:50

for R being finite RelStr
for C being Coloring of R holds card C >= clique# R