Talk:Binet–Cauchy identity