theorem Th23: :: MYCIELSK:23

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