Put . The vector triple product identity gives
Cyclic invariance of the scalar triple product gives . Hence the squared scalar triple product from cyclic cross products is
If an expansion entirely in pairwise dot products is desired, expand the Gram determinant of :
Both expressions remain valid for degenerate, including linearly dependent, vectors.