命題
C と D を前加法圏（代数的整数論019の533）とする。
F：C → D を加法的関手（過去スレpart2の589）で核を反映する（>>369）とする。
このとき F は差核を反映（代数的整数論019の324）する。

証明
f：X → Y と g：X → Y を C における射とする。
h：K → X を fh = gh となる射とする。
F(h) = Ker(F(f), F(g)) とする。
代数的整数論019の516より Ker(F(f), F(g)) = Ker(F(f) - F(g)) である。
F は加法的であるから F(h) = Ker(F(f) - F(g)) = Ker(F(f - g))
一方、fh - gh = (f - g)h = 0 である。
F は核を反映するから h = Ker(f - g) = Ker(f, g)
よって、F は差核を反映する。
証明終