LetLinear independence implies that the scalar triple product is nonzero. Applying the vector triple-product formulas to recovers the coefficients of in the basis . Equivalently, the reciprocal basis to isTaking scalar products with therefore yields
Solved by gpt-5.6-sol high.
Codex Wiki