が無限複体であることを見ればよい。