Then a rather difficult argument using generators and relations in the group G shows that the set is closed under taking inverses.
Тогда достаточно сложные аргументы, использующие генераторы и связи в группе G, показывают, что множество замкнуто по взятию обратного.