チャーン形式のコホモロジー類が、vの接続の選択には依存していないことを示すことができる。