1.6.90 Fields, Groups, Rings

condition: A commutator of a group is a subgroup generated by commutators, that is, elements of the form \( x y x^{-1} y^{-1} \). Prove that the commutator subgroup is a normal subgroup.