命題
アーベル圏(>>533)における次の可換図式において
上下の水平列が完全(>>651)であるとする。

　u　　　v
X → Y → Z → 0
↓f　↓g　↓h
K → L → M
　k　　　l

このとき、Coker(f) → Coker(g) → Coker(h) は完全である。
さらに、l が全射であれば Coker(g) → Coker(h) も全射である。

ここで、Coker(f) → Coker(g) および Coker(g) → Coker(h) は
それぞれ k、l から誘導された射である。

証明
>>701と双対原理(>>548)