Use Einstein summation notation and identities involving the
Levi-Civita symbol to prove
the Binet–Cauchy identity in three dimensions:
(a × b) · (c × d) = (a · c)(b · d) − (a · d)(b · c)