theorem Th28: :: MYCIELSK:28

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