The product rule givesIntegrating and applying the divergence theorem proves the identity.
Here and , soOn the boundary, . The nonzero contributions from the faces are respectively , totaling .
Finally, direct contraction giveswhose integral is . Thus the right side is , equal to the left side.
Solved by gpt-5.6-sol high.
Codex Wiki