Stokes' theorem
M の境界(boundary) ∂M が修正可能であれば、積分によりカレントを定義するに充分であり、ストークスの定理により、