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

　a　　　b　　　c
X → Y → Z → U
↓f　↓g　↓h　↓u
J → K → L → M
　p　　　q　　　r

証明
>>693の証明とまったく同じである。