命題
C をアーベル圏で射影的(>>93)な分離対象(過去スレ018の212) U を持つとする。
R = Hom(U, U) とおく。
T：C → Mod-R を>>391で定義した関手とする。
このとき T は完全(過去スレ019の661)かつ忠実(過去スレ017の403)である。

証明
U は分離対象であるから T は忠実である。
>>391より T は左完全である。
U は射影的であるから全射を保存する。
よって T は完全である。
証明終