φ,ψをスカラー関数としたとき
rot(φgradψ)=0
が成り立つと思うんですか合ってるでしょうか?