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

условие: Доказать, что нормальная подгруппа индекса \( k \) содержит все элементы, порядки которых взаимно просты с \( k \).