theorem Th46: :: DILWORTH:46

for R being finite RelStr
for C being Clique-partition of R holds card C >= stability# R