(a) Lemma REF , in conjunction with [1]}, implies the equivalence of (REF ) and \(\operatorname{Curl}\Lambda =0\) . The existence and the required regularity of \(W\) , which satisfies \(\nabla \nabla W =\Lambda \) , follows from Lemma REF .
