Stokes' theorem

Le Ω be a compact oriented manifold with boundary of dimension k and ω a (k−1)-form. It holds

∫Ωdω=∫∂Ωω

It can be understood intuitively from the interpretation of the exterior derivative.
Related to infinitesimal Stokes' theorem.

From here can be proven that:

∫γE=0

for all contractible loops γ.

∫γE=0

for all loops γ.

This results are closely related to Poincare lemma.