theorem :: MYCIELSK:24

for R being symmetric with_finite_stability# RelStr holds stability# R = clique# (ComplRelStr R)