大したことではないのだが、これの証明がいまひとつうまくできないんだ。

f：X→Y を局所Noetherスキームの間の固有射であるとし、
X , Y の構造層 , の間には f*( )＝ が成り立つと仮定する。
このとき、任意の y∈Y に対し、 f^-1(y) は、空でなく、連結である。