Binet-Cauchy identity