Binet–Cauchy_identity loading ...