let G be with_finite_stability# SimpleGraph; :: thesis: stability# G = clique# (Complement G)
Complement (Complement G) = G ;
hence stability# G = clique# (Complement G) by Th76; :: thesis: verum