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

(1) M は射の合成に関して閉じている。

f：X → Y と g：Y → Z を M-射とする。
このとき gf が M-本質的(>>33)であれば g も M-本質的である。

証明
h：Z → W を hg：Y → W が M-射であるような射とする。
(1) より hgf：X → W は M-射である。
gf は M-本質的であるから h は M-射である。
よって g は M-本質的である。
証明終