theorem Th78: :: SCMYCIEL:78

for G being SimpleGraph
for C being Clique-partition of (Complement G) holds C is Coloring of G