Implication Details

Assumptions: equalizers, zero morphisms

Conclusions: kernels

Reason: This is trivial.