The article formalizes the Cayley's theorem saying that every group G is isomorphic to a subgroup of the symmetric group on G.