rot F = 0

⇒

∃φ such that -grad(φ) = F

の証明をお願いします。