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

For a twice continuously differentiable vector field, commuting partial derivatives and antisymmetry of the Levi-Civita symbol give