theorem Th20: :: DILWORTH:20

for R being non empty with_finite_stability# RelStr st [#] R is Clique of R holds
stability# R = 1