Exercise 11, § 5

Let E be a finite set, $\zeta \in \mathfrak{S}_E$ a cycle of support E and $\tau$ a transposition. Show that $\mathfrak{S}_E$ is generated by $\zeta$ and $\tau$.