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