命題
C をアーベル圏（代数的整数論019の533）とする。
C の射 p：Z → X が引き込み（>>296）であるとする。
このとき f：X → Z と g：Y → Z と q:Z → Y があり
pf = 1
qg = 1
fp + gq = 1 となる。

証明（>>356の双対だが一応証明する）
p：Z → X は引き込みだから pf = 1 となる射 f：X → Z がある。
q：Z → Y を f：X → Z の余核（代数的整数論019の506）とする。
h = 1 - fp とおく。
h：Z → Z である。
hf = (1 - fp)f = f - fpf = f - f = 0
よって、g:Y → Z で gq = h となるものが一意に存在する。

1 = fp + (1 - fp) = fp + h = fp + gq

qgq = qh = q(1 - fp) = q - qfp = q
即ち qgq = q
q は全射だから qg = 1 である。