• I would go for Cayley's theorem which asserts that every group is isomorphic to a subgroup of $S_{n}$ for some $n$.