theorem Th26: :: MYCIELSK:26

for R being symmetric RelStr
for C being Clique-partition of (ComplRelStr R) holds C is Coloring of R