命題
X をアーベル圏(>>533)の対象とする。
X の要素(>>681) x に関して x ≡ 0 なら x = 0 である。

証明
x：T → X とする。
次の可換図式がある。

　u
P → T
↓v　↓x
S → X
　0

xu = 0v = 0 である。
u は全射であるから x = 0 である。
証明終