Properties of centralization in group theory

The proofs for a) and b) are OK. For c), first, apply b) to the inclusion a) to obtain one inclusion.

Second, to obtain the reverse inclusion, apply a) to $C_G(C)$.