命題
C を圏とする。
(f_i：X_i → Y_i)_I と (g_i：Y_i → Z_i)_I を C における射の族とする。

このとき Σg_iΣf_i = Σg_if_i である。

証明
過去スレ018の920と双対原理(過去スレ018の159)。