Discriminants of polynomial algebras over the symmetric polynomials

Let K be a commutative algebra over a field and A=K[x1,x2,…,xn] the polynomial algebra over K. It is proved that the discriminant of A over the symmetric polynomials is the Vandermonde determinant ...