As gradient fields are orthogonal (for the standard scalar product) to divergence free
fields, and that curl fields are divergence free, one checks that



Moreover, one computes

This and equation (5) imply that Theorem 1 is an immediate consequence of


To prove Theorem 8, we show a new "operatorial" equality.

Therefore, we define the following differential matrices acting on twice differentiable 
function valued in