Normality of the Commutator Subgroup