Как нормальный человек должен догадаться до такой идеи, как?
ИМХО тут нужно догадываться в другую сторону.
От нас хотят абелевости. Записываем, что нам нужно доказать:
. А дано что-то про единицу, ну давайте перепишем так, чтобы справа была единица:
. Всё бы хорошо, но теперь обратные элементы вылезли. А вот из того, что нам дано, как раз можно и обратный элемент изготовить:
. Подставляем, получаем, что нам нужно доказать
. Ну а это уже можно сопоставить с тем, что дано.
По крайней мере я рассуждал примерно так. Сразу переходить к рассмотрению
мне представляется не очень естественным.
Дальше, конечно, нужно проверить, что все переходы, которые мы делали, были эквивалентными (а не просто следствиями), и развернуть порядок рассуждения (а то мы использовали то, что нужно доказать, как посылку).