Let $A_n$ be the alternating group for some integer $n\geq3$. For every distinct elements $i,j,k$ of $[1,n]$, let $\tau_{i,k,j}$ be the 3-cycle $(ikj)$. Let $$C=\{\sigma\ |\ (\exists i)(\exists j)(\exists k)(\{i,j,k\}\subset[1,n]\land|\{i,j,k\}|=3\land\sigma=\tau_{i,k,j})\}$$ and $$\mathcal{W}(C)=\bigcup_{m\in\mathbb{N}}\big\{\sigma\ |\ (\exists\upsilon)(\upsilon\in(C\cup C^{-1})^{[1,m]}\land\sigma=\prod_{i=1}^m\upsilon_i)\big\}.$$
Then $A_n=\mathcal{W}(C)$. Now, let $$D=\bigcup_{i=3}^n\{\tau_{1,2,i}\}.$$ I would like to show that $A_n=\mathcal{W}(D)$. I suppose this has to be done by induction: the base case is easy. However, I am not sure how to proceed for arbitrary $n$. Let $\sigma\in A_n$: then there exist $m\in\mathbb{N}$ and $\upsilon\in(C\cup C^{-1})^{[1,m]}$ such that $$\sigma=\prod_{i=1}^m\upsilon_i.$$ I now need to show that, for every $i\in[1,m]$, $\upsilon_i\in D$. But I am not sure how to do this.