簡単のため, 連続型の確率変数を考える. すなわち, 分布が連続関数 による重み付き測度 であるようなものだけを考える.独立な確率変数 があるとき, と もまた独立である. の分布を , の分布を とするとき, の同時分布は である. ここで と変数変換すると で…

と は前回のままとする。 は同相写像. ただし .この同相写像で 上の微分形式 を引き戻すと となる.ところが, 上連続(!)な関数 を取ると と書けるので, コホモロジー的には と同値なものである.事実 なので, が の生成元であるという事実とも合致する.

とおく. これは単連結でなく, を変位レトラクトに持つ. 変位ホモトピーは で与えられる.さて 上の微分形式 を考える. とおくと なので は閉形式.一方で, 上で連続な関数 で を満たすものは取れない. 一見, とおくと であるが, は 上で連続でない*1ので であ…