B=rot A → div B=0
はわかるのですが、逆は証明できるんですか?