Remark

Although the theorem asserts that we can write every group as a group of permutations, it does not give us a practical presentation of the group. Think of the symmetric group on n letters: the proof of the theorem realizes Sym(n) as a group of permutations of n! letters, while the natural permutation presentation of this group is on n letters.