\mathbf{a} \times (\mathbf{v} \times \mathbf{a}) = \mathbf{a} \times \mathbf{b}