>>19
考えているスキームがネーター的であれば、連接的と言うことは
スキームのある開被覆があって、それぞれの開集合への制限が
有限生成加群からきている事をチェックすればよい。

また高次順像は定義により、スキームの写像に対するcohomology群の層化
なので、その振る舞いはスキームの写像f：XーーYがあれば,Yに関して
局所的である。

ただし、この場合Xに関して局所的でないので注意が必要。

（実際、任意の開被覆で成り立つことが分かる。）