{\displaystyle {\begin{aligned}({\vec {a}}\times {\vec {b}})\times ({\vec {c}}\times {\vec {d}})&={\vec {b}}\cdot \det({\vec {a}},{\vec {c}},{\vec {d}})-{\vec {a}}\cdot \det({\vec {b}},{\vec {c}},{\vec {d}})\\&={\vec {c}}\cdot \det({\vec {a}},{\vec {b}},{\vec {d}})-{\vec {d}}\cdot \det({\vec {a}},{\vec {b}},{\vec {c}})\end{aligned}}}