Cayley's Representation Theorem/Proof 1

Proof
Let $H = \set e$.

We can apply Permutation of Cosets to $H$ so that:
 * $\mathbb S = G$

and:
 * $\map \ker \theta = \set e$

The result follows by the First Isomorphism Theorem for Groups.