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

(1) C は零対象(過去スレ017の791)を持つ。
(2) C における任意の射は核(過去スレ017の794)と余核(過去スレ017の856)を持つ。

f：X → Y を C における射とする。
e：X → I’を Coim(f) (>>572)とする。

このとき、e は全射であり、r：I’→ Y で f = re となるものが一意に存在する。

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