命題
アーベル圏(>>533)における次の可換図式において
上下の水平列が完全(>>651)であり、
f, h が全射であれば g も全射である。

0 → X → Y → Z → 0
　　 ↓f　↓g　↓h
0 → K → L → M → 0

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