The Cauchy-Binet identity can be deduced from the above identity as in [5]
simply by specializing the values x = ; y = . The bridge to this deduction is
provided by the summatory expression
for all n > 0 which is
also provable by induction on n! See also [1] for a combinatorial interpretation of
this polynomial identity