Stokes' theorem
境界付き多様体上の微分形式に対するストークスの定理は次のように定式化される。