die Beziehung \begin{eqnarray}u\times (v\times w)=(u\cdot w)v-(u\cdot v)w\end{eqnarray} für alle Vektoren u, v, w ∈ ℝ³. Hierbei ist × das Vektorprodukt und ⟨., .⟩ das Standardskalarprodukt im ℝ³.