$$\bex \n\times({\bf a}\times{\bf b})=({\bf b}\cdot\n){\bf a} -({\bf a}\cdot\n){\bf b}+{\bf a}(\n\cdot{\bf b})-{\bf b}(\n\cdot{\bf a}). \eex$$ see [李大潜, 秦铁虎, 物理学与偏微分方程 (第二版) 上册, 北京: 高等教育出版社, 2005 年] 第 163 页.