for G being with_finite_stability# SimpleGraph holds stability# G = clique# (Complement G)