単連結な空間においては完全微分形式ωは積分可能
つまり dω = 0 なら ω = dψ となる微分形式ψが存在するというのは
ポアンカレの定理であってドラーム理論というほどのことではない。