このときに、引き戻し(pullback)f*(o(1))はfとなる(fがx上の有理函数の定数層の部分層のときにこの評価が意味を持つことに注意)。