We use the vector triple product identity. From $ \mathbfv \times \mathbfa = \mathbfb $, taking the cross product with $ \mathbfa $ on both sides: - 500apps