\[\mathbf{a}\times(\mathbf{b}\times\mathbf{c})=\mathbf{b}(\mathbf{a}\cdot\mathbf%
{c})-\mathbf{c}(\mathbf{a}\cdot\mathbf{b}),\]