Implication Details

Assumptions: additive, finitely complete

Conclusions: Malcev

Reason: See Prop. 2.2.13. in Malcev, protomodular, homological and semi-abelian categories.