命題
C を以下の条件を満たす圏とする。

(1) C は零対象(過去スレ017の791)を持つ。
(2) C における任意の射は核(過去スレ017の794)と余核(過去スレ017の856)を持つ。
(3) C における任意の全射は正規全射(>>582)である。
(4) C は差余核を持つ(>>162)。

f：X → Y を C における射とする。
e：X → I’を Coim(f) (>>572)とする。
>>575より、r：I’→ Y で f = re となるものが一意に存在する。。
このとき r は単射である。

証明
>>592と双対原理(過去スレ018の159)。