Stokes' theorem

Le Ω be a compact oriented manifold with boundary of dimension k and ω a (k1)-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.