theorem Th76: :: SCMYCIEL:76

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