Stokes' theorem
を満たす。ここに、LX は X に沿ったリー微分を表す。X がコンパクトな台を持つベクトル場で、M が境界をもつ多様体(manifold with boundary)であれば、ストークスの定理は、発散定理を一般化して、