Assumptions: kernels, preadditive
Conclusions: equalizers
Proof: The equalizer of f,gf,gf,g is the kernel of f−gf-gf−g.