Implication Details

Assumptions: additive

Conclusions: finite products, preadditive

This is an equivalence.

Reason: This holds by definition.