Theorem 2-1 (Helmholtz's theorem in fluid dynamics). Let U ⊆ ⊆ R 3 be an open subset with a lamellar vector field F and let c 0, c 1 : [0, 1] → U be piecewise smooth loops. If there is a function H : [0, 1] × [0, 1] → U such that