Dot Product of Vector Cross Products

Theorem
Let $\mathbf a, \mathbf b, \mathbf c, \mathbf d$ be vectors in a vector space $\mathbf V$ of $3$ dimensions.

Let $\mathbf a \times \mathbf b$ denote the vector cross product of $\mathbf a$ with $\mathbf b$.

Let $\mathbf a \cdot \mathbf b$ denote the dot product of $\mathbf a$ with $\mathbf b$.

Then:


 * $\paren {\mathbf a \times \mathbf b} \cdot \paren {\mathbf c \times \mathbf d} = \paren {\mathbf a \cdot \mathbf c} \paren {\mathbf b \cdot \mathbf d} - \paren {\mathbf a \cdot \mathbf d} \paren {\mathbf b \cdot \mathbf c}$