theorem Th71: :: SCMYCIEL:71

for G being with_finite_stability# SimpleGraph st stability# G = 1 holds
G is clique