theorem Th19: :: MYCIELSK:19

for R being symmetric RelStr
for C being Clique of R holds C is StableSet of (ComplRelStr R)