と定義する.そして,を1-コチェインとして用いて,