theorem :: DILWORTH:18

for R being non empty with_finite_clique# RelStr st [#] R is StableSet of R holds
clique# R = 1