1.6.90 Поля, группы, кольца

условие: Коммутант группы - это подгруппа, порожденная коммутаторами, то есть элементами вида \( x y x^{-1} y^{-1} \). Доказать, что коммутант является нормальной ПодгруПпой.