命題
C をAB5*(>>122)を満たし、余積を持つ(過去スレ019の50)アーベル圏とする。
(X_i)_I を C の対象からなる小さい族とする。

このとき標準射(>>170) f：ΣX_i → ΠX_i は全射である。

証明
>>171とアーベル圏における双対原理(過去スレ019の548)