Вопрос по доказательству теоремы Кэли - "Всякая конечная группа изоморфна некоторой группе подстановок".
Суть доказательства заключается в следующем:
1) Каждому элементу конечной группы

размерности

ставится в соответствие подстановка из

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

.
Вопрос мой по пункту 1, не могу разобраться как строится это соответствие, как именно мы ставим в соответствие элементу

элемент

?
Подскажите пожалуйста, либо объясните на конкретном примере.