Assumptions: finite coproducts, preadditive
Conclusions: finite products
Proof: See Mac Lane, VIII.2., Theorem 2.