Implication Details

Assumptions: product-preserving

Conclusions: finite-product-preserving

Reason: This is trivial.