theorem Th79: :: SCMYCIEL:79

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