Divergence of a curl is zero (source code)

= Divergence of a curl is zero
{title2=$\nabla\mathbin\cdot(\nabla\times\mathbf F)=0$}

For a twice continuously differentiable <vector field>, commuting partial derivatives and antisymmetry of the Levi-Civita symbol give
$$
\nabla\mathbin\cdot(\nabla\times\mathbf F)=0.
$$