Identity for Cross Product of Gradients

Theorem

For any twice differentiable functionsand

Proof

We use the following identity: , giving

since

Now use the identityto give

But