そのような射fが与えられると、o(1)の引き戻しは(x上の)大域切断により生成される。