Theorem for Divergence-less Fields

When one of the following is true, all are true.

• $\nabla \cdot F=0$
• $\int F\cdot da$ is independent of surface for any given boundary line
• $\oint F\cdot da=0$ for any closed surface
• $F$ is the curl of some vector function $F=\nabla \times A$