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