
theorem :: CompleteSta:
for n being non zero Nat holds stability# CompleteRelStr n = 1
proof
 let n be non zero Nat;
 set R = CompleteRelStr n;
   [#]R is Clique of R;
 hence stability# CompleteRelStr n = 1 by DILWORTH:20;
end;
