Solution
= Solution
The <divergence of a curl is zero>, so its squared <absolute value> is
$$
\boxed{|\nabla\cdot(\nabla\times\mathbf F)|^2=0}.
$$
Both identities follow by cancellation of equal <mixed partial derivatives> under the usual smoothness assumptions of <vector calculus>.