命題
C を以下の条件を満たす圏とする。

(1) C は零対象(過去スレ017の791)を持つ。
(2) C の任意の対象 X、Y に対して余積 X＋Y が存在する。
(3) C における任意の射は核(過去スレ017の794)と余核(過去スレ017の856)を持つ。
(4) C における任意の単射は正規単射(>>582)である。

μ：X → X＋Y と ν：Y → X＋Y を入射とする。
このとき、μ と ν の交わりは 0 である。

証明
>>606より、p = [0, 1_Y]：X＋Y → Y は Coker(μ) である。
>>602より、μ と ν の交わりは h = Ker(pν) としたとき νh である。
一方、pν = 1_Y であるから h = Ker(pν) = 0 である。
よって、νh = 0 である。
証明終