Expand the same double cross product in two ways. First expanding with as the inner cross product givesAlternatively, use with to getEquating these expressions and moving every term to one side provesThis four-vector scalar triple product identity is valid without assuming that any three of the four vectors are independent.