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