
theorem :: staRcliCR:
for G being with_finite_stability# SimpleGraph
 holds stability# G = clique# Complement G
proof
 let G be with_finite_stability# SimpleGraph;
   Complement Complement G = G;
 hence thesis by Th76;
end;
