>>317
応用上は局所自由層のコホモロジーで十分な時が多く
その場合には小平式の方法が通用します