(𝐚×𝐛)×𝐜=𝐛(𝐚𝐜)𝐚(𝐛𝐜).