>>585
例えば固有写像のもとで連接層の高次順層が連接になることの
証明が無い。