命題
C を圏とする。
M を C の射からなる類(過去スレ017の323)とする。
M は次の条件を満たすとする。

(1) M の全ての射は単射である。

X を C の M-単射的対象とする。
m：X → Y を M-本質的(>>33)とする。

このとき m は同型射である。

証明
X は M-単射的であるから C-射 g：Y → X で gm = 1_X となるものがある。
m は M-本質的であるから g は M-射である。
(1) より g は単射である。
g は引き込み(過去スレ018の328)でもあるから過去スレ019の239より m は同型射である。
証明終