$\nabla\cdot(\nabla\times a)=0$。

即 $\operatorname{div}\operatorname{rot}a=0$，混合积中两矢量相同必为零（$K1-37$）。