Abelian-quotient abelian normal subgroup is contained in centralizer of derived subgroup