We use the vector triple product identity. From $ \mathbf{v} \times \mathbf{a} = \mathbf{b} $, taking the cross product with $ \mathbf{a} $ on both sides: