であって、"g"-同変なもの、つまり "h""x g" ＝d r"g" "h""p" を満たすものはker "ω" ＝ "h" となるような接続形式を一意的に定めている。