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

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

証明
>>696より明らかである。