連接層の順像が連接層になるという証明で
ターゲット側はアフィンと仮定してよい、というのはそんなに自明な事なんでしょうか…?(・・;)