Изменения
T - биекция => T - гомоморфизм
{{
Теорема
|author=Артур Кэли(''Arthur Cayley'')
|statement=
Любая конечная группа <tex>G</tex> изоморфна некоторой подгруппе группы перестановок (симметрической группе).
*Сюрьективность <tex>T</tex> очевидна из определения <tex>K</tex>.
То есть <tex>T</tex> - биекциягомоморфизм, а значит изоморфизм <tex>G</tex> и <tex>K</tex> установлен.
}}
