Stokes' theorem
となる。ストークスの定理により、完全形式は積分すると 0 でなければならないので、コホモロジー類はゼロではあり得ない。