>>417
ベクトルzが勾配ベクトルである→ψをスカラーポテンシャルとしてz=-divψと表せる
rot divψ=0は恒等的に成り立つからdzi/zj=dzj/dziが常に成り立つ