Par substitution des vecteurs et par dans le double produit vectoriel :

nous obtenons :

D'après la propriété d'anticommutativité du produit vectoriel :

Le produit scalaire étant commutatif :

et

d'où