Now take the cross product with . The vector triple product gives , soThe original equation, now with , also gives . Substitution eliminates the remaining cross product of the unknown and yieldsIts dot product with is , and direct substitution using the vector triple product verifies the original equation. The elimination gives a unique solution without choosing components. It is also an application of the inverse of a scalar plus a cross-product operator after the scalar component has been fixed.