Proof: the operations of any group G form a set, so we can consider the permutation group P on this set. Consider the mapping f that associates with each operation g in G the permutation in P that maps every a in G to g.a. This mapping is injective: different g produce different f(g). It also preserves the group operation: for all a,b in G, f(a).f(b) = f(a.b). Therefore, the range of f is a group, a permutation group that is isomorphic to G, and a subgroup of P.