Vandermonde determinants

A rigorous systematic evaluation of Vandermonde determinants (below) of the following identity uses the fact that a polynomial ring over a UFD is again a UFD. A Vandermonde matrix is a square matrix of the form in the theorem.