9 lemma: sm40348264 参考文献:T. Bühler, Exact categories, Expo. Math. 28 (2010), no. 1, 1-69.
http://www.nicovideo.jp/watch/sm40345481