For any twice continuously differentiable vector field $\mathbf{F}$ in $\mathbb{R}^3$, the divergence of its curl, $\nabla \cdot (\nabla \times \mathbf{F})$, is always equal to: