theorem Th20: :: MYCIELSK:20

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