Now let $v$ be $s_ny$$s_nx$ in $C$. Let $w$ be $v-s_1$. Thus, the $A$-subalgebra $A[w]$ of $C$ equals the $A$-subalgebra $A[v]$. The element $v$ satisfies the monic polynomial equation $q_n(v)=0$, $$q_n(v) = v^n-s_1s_n^1v^{n-1} + \dots + (-1)^{n-1}s_{n-1}s_n^{n-1}v + (-1)^ns_n^n.$$ By direct computation, for a variable $y$, the ring $B=A[y]/\langle q_n(y) \rangle$ is a complete intersection ring that a finite, flat extension of $A$, and whose singular locus is an irreducible closed subset of the spectrum with associated prime ideal $\langle s_n,v\rangle$. Since $A\to B$ is finite and flat, every irreducible component of $\text{Spec}(B)$ dominates $\text{Spec}(A)$. However, after inverting $s_n$, the natural map $B[1/s_n]\to C[1/s_n]$ is an isomorphism. Hence, $B$ is generically reduced and has a single irreducible component. Since $B$ is a complete intersection ring, it is everywhere reduced. Thus $B$ is an integral domain, hence embeds in its fraction field. Therefore, since the map of fraction rings, $B[1/s_n]\to C[1/s_n]$, is injective, also $B\to C$ is injective. In conclusion, the natural map $B\to A[v]$ is both injective and surjective, hence an isomorphism.
The quotient ring $C/\langle w \rangle$ is $$k[s_1,\dots,s_{n-1},x]/\langle r_n \rangle, \ \ r_n = (1-x^n)s_1 + x^{n-1}s_2 - x^{n-2}s_3 + \dots + (-1)^{n}x^2s_{n-1} + x^{n+1}. $$$$k[s_1,\dots,s_{n-1},x]/\langle r_n \rangle, $$ $$r_n = (1-x^n)s_1 + x^{n-1}s_2 - x^{n-2}s_3 + \dots + (-1)^{n}x^2s_{n-1} + x^{n+1}. $$ By the Jacobian criterion, this ring is smooth over $k$. Moreover, the ring extension $k[x]\to C/\langle w \rangle$ is an affine space bundle (over $D(x)$, resp. $D(1-x^n)$, it is trivialized). Thus, it is irreducible of dimension $n-1$. Since the quotient ring is regular of dimension $n-1$, the ideal $wC$ in $C$ is a prime ideal. Therefore $w$ is a prime element of $C$.
The argument that $B/\langle w \rangle$ is integral of dimension $n-1$ is similar, but slightly more involved. The quotient ring is $$B/\langle w \rangle = k[s_1,\dots,s_{n-1}]/\langle g_n \rangle,$$ $$g_n = (1-s_n)s_1^n + s_1^{n-2}s_ns_2 + \dots + (-1)^{n-1}s_1s_n^{n-1}s_{n-1} + (-1)^ns_n^n.$$ By the Jacobian criterion, the singular locus comes from the prime ideal $\langle s_1,s_n \rangle$. So the ring is reduced. Moreover, the ring extension $k[s_1,s_{n-1}] \to B/\langle w \rangle$ is flat of relative dimension $n-3$ away from $\langle s_1, s_{n-1}\range$$\langle s_1, s_{n-1}\rangle$, with the fiber over $\langle s_1,s_{n-1}\rangle$ of dimension $n-2$. Since a closed subset of dimension $n-2$ cannot be an irreducible component of the complete intersection ring $B/\langle w \rangle$ of dimension $n-1$, it follows that every fiber dominates $\text{Spec}k[s_1,s_{n-1}]\setminus \langle s_1,\s_{n-1} \rangle$$\text{Spec}k[s_1,s_{n-1}]\setminus \langle s_1,s_{n-1} \rangle$. The restriction over this open set is again an affine space bundle, hence it is irreducible. Therefore, since $B/\langle w \rangle$ is reduced and irreducible, the element $w$ of $B$ is prime.