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