Redirecting to Binet–Cauchy identity