Stokes' theorem
If the boundary ∂"M" of "M" is rectifiable, then it too defines a current by integration, and by virtue of Stokes' theorem one has: