场论中有▽·（▽×Ψ）≡0 无源场有▽·E≡0 两式相减 ▽·（▽×Ψ－Ε）≡0
Ε Ψ是任意的 所以必定有▽×Ψ－Ε≡0 这就证明无源场必定可以表示为另一另一矢量场的旋度场（旋度场是无源场）