Implication Details

Assumptions: natural numbers object

Conclusions: finite products

Reason: This holds by definition.