maybe someone know the following theorem and knows how to prove it or any book, where I can find it:

Let G be a p-group. The indices of centralizers are bounded by p for every x in G. Then, the order of the commutator subgroup is bounded by p:

|G| = p^n, |G:C_G(x)| <= p for all x in G => |G'| <= p