命題
C と D をアーベル圏（代数的整数論019の533）とする。
F：C → D を完全関手（代数的整数論019の661）とする。
このとき以下の条件は同値である。

(1) F は完全列を反映する（>>382）。

(2) f：X → Y と g：Y → Z を C の射で gf = 0 とする。
このとき、F(X) → F(Y) → F(Z) が完全なら X → Y → Z も完全である。

(3) F は零対象を反映する（>383）。

(4) F は零射を反映する（>>372）。

証明
(1) ⇒ (2)
自明である。

(2) ⇒ (3)
F(X) = 0 とする。
0 → F(X) → 0 は完全である。
仮定より 0 → X → 0 は完全である。
よって、X = 0 である。

（続く）