>>135
主張は>>112から始まる
φ:F→GをX上の層の射とする。ImφはGの部分層である。
の証明ではないのですか？
それとは別ということでしょうか。