theorem :: SCMYCIEL:77

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