前層を層化するときは、0次のチェックコホモロジーを使うのが面白い。
1度で層にならないときは、もう一度0次のチェックコホモロジーを求めれば層になる。