Stokes' theorem
ここで(1)と(2)はそれぞれストークスの定理とマクスウェル方程式から従い、(3)は静磁場である事から従う。