$\operatorname{div}\operatorname{rot}a$ 恒等于零。