Если используются определения из темы
«Доказательство существования тождественного преобразования», то почему бы просто не по определению обратного преобразования и равенства преобразований оттуда? По определению всё моментально.
-- Чт дек 17, 2015 02:14:33 --Если же уже используется обычное определение группы, то сойдёт даже

.
-- Чт дек 17, 2015 02:18:14 --А вот «пусть

» зачем — непонятно (да и про

тоже, в принципе). Или вместо

должно быть что-то громоздкое, или про

должно что-то быть приведено уже до — и мы подставляем

и справедливость торжествует.

Тут же это только удлинняет повествование совершенно бестолку.