Poincare lemma

On a simply connected open subset of ${\mathbb{R}}^3$, every continuously differentiable curl-free vector field is the gradient of a scalar potential.