a×(b×c)=b⁢(a⋅c)-c⁢(a⋅b),