命題
C を>>552の条件を満たす圏とする。
f：X → Y を C における射とする。

このとき、f + 0 = 0 + f = f

証明
[f, 0] = f(p_1) である。
ここで、p_1：X＋X → X は第一射影である。
>>559より、f + 0 = [f, 0]Δ = f(p_1)Δ = f

同様に、[0, f] = f(p_2) である。
>>559より、0 + f = [0, f]Δ = f(p_2)Δ = f
証明終